Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu, Silvio Ghilardi. Formal verification of data-intensive applications through model checking modulo theories. In Hakan Erdogmus, Klaus Havelund, editors, Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017. pages 98-101, ACM, 2017. [doi]
@inproceedings{BersaniMREG17,
title = {Formal verification of data-intensive applications through model checking modulo theories},
author = {Marcello M. Bersani and Francesco Marconi and Matteo Rossi and Madalina Erascu and Silvio Ghilardi},
year = {2017},
doi = {10.1145/3092282.3092300},
url = {http://doi.acm.org/10.1145/3092282.3092300},
researchr = {https://researchr.org/publication/BersaniMREG17},
cites = {0},
citedby = {0},
pages = {98-101},
booktitle = {Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017},
editor = {Hakan Erdogmus and Klaus Havelund},
publisher = {ACM},
isbn = {978-1-4503-5077-8},
}