32 search results - page 5 / 7 » Goanna - A Static Model Checker |
JFP
2006
13 years 8 months ago
2006
Even in statically typed languages it is useful to have certain invariants checked dynamically. Findler and Felleisen gave an algorithm for dynamically checking expressive highero...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract--This paper focuses on data structures for multicore reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of a...
PPPJ
2006
ACM
14 years 2 months ago
2006
ACM
Development of high quality code is extremely di cult. Tools that help maintaining the proper quality of code produced by programmers can be very useful: they may increase the qua...
EMSOFT
2006
Springer
14 years 7 days ago
2006
Springer
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
CAV
2003
Springer
14 years 6 days ago
2003
Springer
odular Abstraction Refinement Thomas A. Henzinger1 , Ranjit Jhala1 , Rupak Majumdar1 , and Shaz Qadeer2 1 University of California, Berkeley 2 Microsoft Research, Redmond Abstract....