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

Uložené v:

Podrobná bibliografia
Vydané v:	International journal on software tools for technology transfer Ročník 11; číslo 1; s. 69 - 83
Hlavní autori:	Armando, Alessandro, Mantovani, Jacopo, Platania, Lorenzo
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	01.02.2009
ISSN:	1433-2779, 1433-2787
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!