euforia: Complete Software Model Checking with Uninterpreted Functions. Bueno, D. & Sakallah, K. A. In 20th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), volume LNCS 11388, pages 363-385, Cascais, Portugal, January, 2019. Springer.
doi  bibtex   7 downloads  
@inproceedings{bueno2019euforia,
   author = {Bueno, Denis and Sakallah, Karem A.},
   title = {{euforia: Complete Software Model Checking with Uninterpreted Functions}},
   booktitle = {20th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)},
   address = {Cascais, Portugal},
   publisher = {Springer},
   volume = {LNCS 11388},
   pages = {363-385},
   month = {January},
   year = {2019},
   doi = {https://doi.org/10.1007/978-3-030-11245-5_17}
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% 2014
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

Downloads: 7