159
click to vote
KBSE
2005
IEEE
16 years 1 days ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...