SATMC: A SAT-based model checker for security-critical systems. Armando, A., Carbone, R., & Compagna, L. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8413 LNCS:31-45, 2014. ![SATMC: A SAT-based model checker for security-critical systems [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi bibtex @ARTICLE{Armando201431,
author={Armando, A., Carbone, R., Compagna, L.},
title={SATMC: A SAT-based model checker for security-critical systems},
journal={Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
year={2014},
volume={8413 LNCS},
pages={31-45},
doi={10.1007/978-3-642-54862-8_3},
url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-84900525212&partnerID=40&md5=80b1f8cae30ef41619a8564675aef00c},
document_type={Conference Paper},
source={Scopus},
}
Downloads: 0
{"_id":"cHZJ2jfHTcNG3c4Sf","bibbaseid":"armando-carbone-compagna-satmcasatbasedmodelcheckerforsecuritycriticalsystems-2014","downloads":0,"creationDate":"2016-08-26T09:24:46.857Z","title":"SATMC: A SAT-based model checker for security-critical systems","author_short":["Armando, A.","Carbone, R.","Compagna, L."],"year":2014,"bibtype":"article","biburl":"https://dl.dropboxusercontent.com/u/1703583/BiblioLab.bib","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Armando"],"firstnames":["A."],"suffixes":[]},{"propositions":[],"lastnames":["Carbone"],"firstnames":["R."],"suffixes":[]},{"propositions":[],"lastnames":["Compagna"],"firstnames":["L."],"suffixes":[]}],"title":"SATMC: A SAT-based model checker for security-critical systems","journal":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)","year":"2014","volume":"8413 LNCS","pages":"31-45","doi":"10.1007/978-3-642-54862-8_3","url":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-84900525212&partnerID=40&md5=80b1f8cae30ef41619a8564675aef00c","document_type":"Conference Paper","source":"Scopus","bibtex":"@ARTICLE{Armando201431,\nauthor={Armando, A., Carbone, R., Compagna, L.},\ntitle={SATMC: A SAT-based model checker for security-critical systems},\njournal={Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},\nyear={2014},\nvolume={8413 LNCS},\npages={31-45},\ndoi={10.1007/978-3-642-54862-8_3},\nurl={https://www.scopus.com/inward/record.uri?eid=2-s2.0-84900525212&partnerID=40&md5=80b1f8cae30ef41619a8564675aef00c},\ndocument_type={Conference Paper},\nsource={Scopus},\n}\n\n","author_short":["Armando, A.","Carbone, R.","Compagna, L."],"key":"Armando201431","id":"Armando201431","bibbaseid":"armando-carbone-compagna-satmcasatbasedmodelcheckerforsecuritycriticalsystems-2014","role":"author","urls":{"Paper":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-84900525212&partnerID=40&md5=80b1f8cae30ef41619a8564675aef00c"},"downloads":0},"search_terms":["satmc","sat","based","model","checker","security","critical","systems","armando","carbone","compagna"],"keywords":["dblp"],"authorIDs":["57c00ade5abfdd4d540000c7"],"dataSources":["EQov9rEvkmMf5P4ah"]}