126 search results - page 3 / 26 » Using model checking with symbolic execution to verify paral... |
ECOOP
2010
Springer
13 years 9 months ago
2010
Springer
Specifications of Object-Oriented programs conventionally employ Boolean expressions of the programming language for assertions. Programming errors can be discovered by checking at...
IAW
2003
IEEE
13 years 11 months ago
2003
IEEE
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...
ICSE
2009
IEEE-ACM
14 years 1 months ago
2009
IEEE-ACM
Model checking finds failures in software by exploring every possible execution schedule. Until recently it has been mainly applied to stand-alone applications. This paper presen...
SPIN
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
EMSOFT
2008
Springer
13 years 8 months ago
2008
Springer
Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...