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!
Popis
Bibliografia: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