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!

Be the first to leave a comment!