Bounded model checking of software using SMT solvers instead of SAT solvers

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	International journal on software tools for technology transfer Jg. 11; H. 1; S. 69 - 83
Hauptverfasser:	Armando, Alessandro, Mantovani, Jacopo, Platania, Lorenzo
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	01.02.2009
ISSN:	1433-2779, 1433-2787
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Bibliographie:	ObjectType-Article-2 SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 23
ISSN:	1433-2779 1433-2787
DOI:	10.1007/s10009-008-0091-0