Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) 2007
DOI: 10.1109/sefm.2007.25
|View full text |Cite
|
Sign up to set email alerts
|

Model Checking RAISE Applicative Specifications

Abstract: Ensuring the correctness of a given software component has become a crucial aspect in Software Engineering and the Model Checking technique provides a fully automated way to achieve this goal. In particular, the usage of Model Checking in formal languages has been reinforced in the last decades given the fact that specifications provide an abstraction of the problem under study, supplying a model of the system of tractable size given the state explosion problem faced by the Model Checking technique.In this pap… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Year Published

2010
2010
2019
2019

Publication Types

Select...
1
1

Relationship

0
2

Authors

Journals

citations
Cited by 2 publications
references
References 35 publications
0
0
0
Order By: Relevance