The eureka tool for software model checking. Armando, A., Benerecetti, M., Carotenuto, D., Mantovani, J., & Spica, P. ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering, 2007.
The eureka tool for software model checking [link]Paper  doi  bibtex   
@ARTICLE{Armando2007541,
author={Armando, A., Benerecetti, M., Carotenuto, D., Mantovani, J., Spica, P.},
title={The eureka tool for software model checking},
journal={ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering},
year={2007},
pages={541-542},
doi={10.1145/1321631.1321734},
url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-77954022243&partnerID=40&md5=1254fcd628c734df6bad503a670ded30},
document_type={Conference Paper},
source={Scopus},
}

Downloads: 0