PANDA: Simultaneous Predicate Abstraction and Concrete Execution

Proceedings paper

Title:

Authors:

Publication:

Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

DOI:

10.1007/978-3-319-26287-1_6

Year:

2015

Link:

https://doi.org/10.1007/978-3-319-26287-1_6

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},
}