An eclipse plug-in for model checking

While model checking has been successful in uncovering subtle bugs in code, its adoption in software engineering practice has been hampered by the absence of a simple interface to the programmer in an integrated development environment. We describe an integration of the software model checker BLAST...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Proceedings. 12th IEEE International Workshop on Program Comprehension, 2004 s. 251 - 255
Hlavní autoři:	Beyer, D., Henzinger, T.A., Jhala, R., Majumdar, R.
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	Los Alamitos CA IEEE 2004 IEEE Computer Society Press
Témata:	Applied sciences Computer interfaces Computer science Computer science; control theory; systems Exact sciences and technology Explosions Programming profession Reachability analysis Reliability engineering Runtime Software Software engineering Software quality Testing Code generation Software maintenance Software development Formal specification Model checking Program analysis Checking program Automatic analysis Reachability analysis Program verification Software engineering
ISBN:	9780769521497, 0769521495
ISSN:	1092-8138
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!

Buďte první, kdo okomentuje tento záznam!