Formal verification of data-intensive applications through model checking modulo theories - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Marcello M. Bersani' in GoogleThis author has not been identified. Look up 'Francesco Marconi' in GoogleThis author has not been identified. Look up 'Matteo Rossi' in GoogleThis author has not been identified. Look up 'Madalina Erascu' in GoogleThis author has not been identified. Look up 'Silvio Ghilardi' in Google

runs on WebDSL