Author:
Baranová Zuzana,Ročkai Petr
Publisher
Springer International Publishing
Reference13 articles.
1. Abdulla, P.A., Aronis, S., Atig, M.F., Jonsson, B., Leonardsson, C., Sagonas, K.: Stateless model checking for TSO and PSO. Acta Informatica 54(8), 789–818 (2016).
https://doi.org/10.1007/s00236-016-0275-0
2. Baranová, Z., et al.: Model checking of C and C++ with DIVINE 4 (2017)
3. Cadar, C., Dunbar, D., Engler, D.R.: KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In: OSDI, pp. 209–224. USENIX Association (2008)
4. Lecture Notes in Computer Science;M Chalupa,2017
5. Günther, H., Laarman, A., Weissenbacher, G.: Vienna verification tool: IC3 for parallel software (competition contribution). In: TACAS, pp. 954–957 (2016).
https://doi.org/10.1007/978-3-662-49674-9_69