Sciweavers

2872 search results - page 28 / 575
» On (Omega-)Regular Model Checking
Sort
View
80
Voted
SPIN
2005
Springer
15 years 3 months ago
Etch: An Enhanced Type Checking Tool for Promela
We present ETCH, an enhanced type checking tool for the Promela language. This tool uses standard type checking in conjunction with constraint-based type inference to detect type e...
Alastair F. Donaldson, Simon J. Gay
ICCD
2005
IEEE
124views Hardware» more  ICCD 2005»
15 years 3 months ago
Model Checking C Programs Using F-SOFT
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Mala...
78
Voted
ENTCS
2006
112views more  ENTCS 2006»
14 years 10 months ago
Model Checking Linear Programs with Arrays
In previous work we proposed Linear Programs as a fine grained model for imperative programs, and showed how the model checking procedure used in SLAM can be generalised to a mode...
Alessandro Armando, Massimo Benerecetti, Jacopo Ma...
84
Voted
ICFEM
2004
Springer
15 years 3 months ago
Software Model Checking Using Linear Constraints
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...
Alessandro Armando, Claudio Castellini, Jacopo Man...