Proceedings paper

Title:
PANDA: Simultaneous Predicate Abstraction and Concrete Execution
Authors:
Publication:
Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
DOI:
Year:
2015
Link:

BibTeX:
@inproceedings{daniel_panda_2015,
    title = {{PANDA: Simultaneous Predicate Abstraction and Concrete Execution}},
    author = {Daniel, Jakub and Parízek, Pavel},
    year = {2015},
    booktitle = {{Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings}},
    publisher = {Springer},
    doi = {10.1007/978-3-319-26287-1_6},
    pages = {87--103},
    url = {https://doi.org/10.1007/978-3-319-26287-1_6},
}