10870 search results - page 148 / 2174 » Model Checking Programs |
120
click to vote
ECOOP
2006
Springer
15 years 5 months ago
2006
Springer
A test case consists of two parts: a test input to exercise the program under test and a test oracle to check the correctness of the test execution. A test oracle is often in the f...
143
click to vote
FAC
2007
15 years 1 months ago
2007
Abstract. The Verifying Compiler (VC) project proposals suggest that mainstream software developers are its targeted end-users. Like other software engineering efforts, the VC proj...
ATVA
2009
Springer
15 years 8 months ago
2009
Springer
This paper studies abstraction and refinement techniques in the setting of multi-valued model checking for the μ-calculus. Two dimensions of abstrace identified and studied: Abs...
113
click to vote
SAS
2007
Springer
15 years 7 months ago
2007
Springer
Concurrent programs are difficult to verify because the proof must consider the interactions between the threads. Fine-grained concurrency and heap allocated data structures exacer...
100
click to vote
SIGSOFT
1994
ACM
15 years 5 months ago
1994
ACM
This paper describes LCLint, an efficient and flexible tool that accepts as input programs (written in ANSI C) and various levels of formal specification. Using this information, ...