324 search results - page 4 / 65 » Model Checking Software at Compile Time |
EMSOFT
2001
Springer
13 years 9 months ago
2001
Springer
This paper is meant to motivate tools and methods research in the field of model-based embedded software development. In particular, we include usage scenarios to describe how an a...
ICSM
2009
IEEE
13 years 12 months ago
2009
IEEE
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered mode...
FOSSACS
2007
Springer
13 years 11 months ago
2007
Springer
VSTTE
2005
Springer
13 years 10 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
KBSE
2009
IEEE
13 years 12 months ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...