Link bibtex
Jakub Daniel, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Sergio Mover:
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations, in CAV'16,  ISBN: 978-3-319-41528-4, pp. 271-291
DOI: 10.1007/978-3-319-41528-4_15, 2016
Link bibtex
Jakub Daniel, Pavel 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
DOI: 10.1007/978-3-319-26287-1_6, 2015