P. Parízek:
Hybrid Analysis for Partial Order Reduction of Programs with Arrays, in Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings, pp. 291–310, 2016
DOI: 10.1007/978-3-662-49122-5_14
Hybrid Analysis for Partial Order Reduction of Programs with Arrays, in Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings, pp. 291–310, 2016
DOI: 10.1007/978-3-662-49122-5_14
P. Parízek, O. Lhoták:
Model Checking of Concurrent Programs with Static Analysis of Field Accesses, in Sci. Comput. Program. 98, pp. 735–763, 2015
DOI: 10.1016/j.scico.2014.10.008
Model Checking of Concurrent Programs with Static Analysis of Field Accesses, in Sci. Comput. Program. 98, pp. 735–763, 2015
DOI: 10.1016/j.scico.2014.10.008
J. Daniel, P. Parízek:
PANDA: Simultaneous Predicate Abstraction and Concrete Execution, in Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, pp. 87–103, 2015
DOI: 10.1007/978-3-319-26287-1_6
PANDA: Simultaneous Predicate Abstraction and Concrete Execution, in Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, pp. 87–103, 2015
DOI: 10.1007/978-3-319-26287-1_6