1492 search results - page 22 / 299 » Automatic Software Model Checking Using CLP |
181
Voted
TASE
2007
IEEE
16 years 19 days ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
144
Voted
FMCAD
2009
Springer
16 years 28 days ago
2009
Springer
Abstract—Several successful approaches to software verificabased on the construction and analysis of an abstract reachability tree (ART). The ART represents unwindings of the co...
152
Voted
SEFM
2007
IEEE
16 years 19 days ago
2007
IEEE
Directed model checking algorithms focus computation resources in the error-prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their per...
141
click to vote
APSEC
2005
IEEE
15 years 12 months ago
2005
IEEE
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
141
click to vote
KBSE
2008
IEEE
16 years 23 days ago
2008
IEEE
—We describe PTYASM, an enhanced version of the YASM software model checker which uses proof templates. These templates associate correctness arguments with common programming id...