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

Saved in:

Bibliographic Details
Published in:	International journal on software tools for technology transfer Vol. 11; no. 1; pp. 69 - 83
Main Authors:	Armando, Alessandro, Mantovani, Jacopo, Platania, Lorenzo
Format:	Journal Article
Language:	English
Published:	01.02.2009
ISSN:	1433-2779, 1433-2787
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Bibliography:	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