DiVM: Model checking with $LLVM$ and graph memory

Authors:

PRPetr Ročkai
Petr Ročkai
VŠVladimír Štill
Vladimír Štill
IČIvana Černá
Ivana Černá
JBJiří Barnat
Jiří Barnat

Publisher website

1 September 2018

journal article
research article
Published by Elsevier in Journal of Systems and Software

Vol. 143, 1-13
DOI:10.1016/j.jss.2018.04.026

Abstract

No abstract available

Keywords

All Related Versions

Funding Information

Grantová Agentura České Republiky (15-08772S)

This publication has 6 references indexed in Scilit:

An embeddable virtual machine for state space generation
International Journal on Software Tools for Technology Transfer, 2010
Scalable shared memory LTL model checking
International Journal on Software Tools for Technology Transfer, 2010
The software model checker Blast
International Journal on Software Tools for Technology Transfer, 2007
Model Checking Programs
Automated Software Engineering, 2003
Uppaal in a nutshell
International Journal on Software Tools for Technology Transfer, 1997
The model checker SPIN
IEEE Transactions on Software Engineering, 1997