312 search results - page 28 / 63 » The eureka tool for software model checking |
123
click to vote
FMSD
2002
15 years 1 months ago
2002
Combining verification methods developed separately for software and hardware is motivated by the industry's need for a technology that would make formal verification of reali...
KBSE
2008
IEEE
15 years 8 months ago
2008
IEEE
We present and evaluate a framework and tool for combining multiple program analyses which allows the dynamic (on-line) adjustment of the precision of each analysis depending on t...
SIGPLAN
2002
15 years 1 months ago
2002
The paper reports on an experiment to provide the Erlang programming language with a tool package for convenient trace generation, collection and to support analysis of traces usi...
151
click to vote
SOFTVIS
2010
ACM
15 years 2 months ago
2010
ACM
Multi-core processors have become increasingly prevalent, driving a software shift toward concurrent programs which best utilize these processors. Testing and debugging concurrent...
108
Voted
CC
2001
Springer
15 years 6 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...