7 search results - page 2 / 2 » Improved bounded model checking for a fair branching-time te... |
QEST
2007
IEEE
14 years 22 days ago
2007
IEEE
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...
CAV
2005
Springer
13 years 12 months ago
2005
Springer
Bounded model checking is an efficient method for finding bugs in system designs. The major drawback of the basic method is that it cannot prove properties, only disprove them. R...