3 papers
cs.PL2016
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…
cs.PL2016
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…
cs.PL2016
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…