33 citations · 35 across the 4 of their papers we have counts for
5 papers
The JKind Model Checker
Andrew Gacek, John Backes, Mike Whalen +2
JKind is an open-source industrial model checker developed by Rockwell Collins and the University of Minnesota. JKind uses multiple parallel engines to prove or falsify safety prop…
DSCMC: Distributed Stateless Code Model Checker
Elaheh Ghassabani, Mohammad Abdollahi Azgomi
Stateless code model checking is an effective verification technique, which is more applicable than stateful model checking to the software world. Existing stateless model checkers…
A New Approach to Stateless Model Checking of LTL Properties
Elaheh Ghassabani, Mohammad Abdollahi Azgomi
Verification of large and complicated concurrent programs is an important issue in the software world. Stateless model checking is an appropriate method for systematically and auto…
Stateless Code Model Checking of Information Flow Security
Elaheh Ghassabani, Mohammad Abdollahi Azgomi
Observational determinism is a security property that characterizes secure information flow for multithreaded programs. Most of the methods that have been used to verify observatio…
Efficient Generation of Inductive Validity Cores for Safety Properties
Elaheh Ghassabani, Andrew Gacek, Michael W. Whalen
Symbolic model checkers can construct proofs of properties over very complex models. However, the results reported by the tool when a proof succeeds do not generally provide much i…