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

Uloženo v:
Podrobná bibliografie
Vydáno v:International journal on software tools for technology transfer Ročník 11; číslo 1; s. 69 - 83
Hlavní autoři: Armando, Alessandro, Mantovani, Jacopo, Platania, Lorenzo
Médium: Journal Article
Jazyk:angličtina
Vydáno: 01.02.2009
ISSN:1433-2779, 1433-2787
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Bibliografie: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