Author:
Still Vladimir,Rockai Petr,Barnat Jiri
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Model checking C++ programs;Software Testing, Verification and Reliability;2021-09-08
2. Reproducible execution of POSIX programs with DiOS;Software and Systems Modeling;2020-10-23
3. Reproducible Execution of POSIX Programs with DiOS;Software Engineering and Formal Methods;2019
4. Model Checking of C++ Programs Under the x86-TSO Memory Model;Formal Methods and Software Engineering;2018
5. Model Checking of C and C++ with DIVINE 4;Automated Technology for Verification and Analysis;2017