2881 search results - page 3 / 577 » Model Checking for Programming Languages using Verisoft |
GI
2009
Springer
13 years 10 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
ICFEM
2004
Springer
13 years 11 months ago
2004
Springer
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...
POPL
2002
ACM
14 years 6 months ago
2002
ACM
DAC
1998
ACM
14 years 7 months ago
1998
ACM
Abstract-Our strategy for automatic generation of functional vectors is based on exercising selected paths in the given hardware description language (HDL) model. The HDL model des...
IFIP
2010
Springer
13 years 1 months ago
2010
Springer
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...