2291 search results - page 34 / 459 » Logic Programming and Model Checking |
SIGSOFT
2003
ACM
14 years 1 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
ESOP
2001
Springer
14 years 1 months ago
2001
Springer
ICALP
1993
Springer
14 years 23 days ago
1993
Springer
PLDI
2011
ACM
12 years 11 months ago
2011
ACM
LOGCOM
2002
13 years 8 months ago
2002
This paper defines and examines model checking games for the branching time temporal logic CTL . The games employ a technique called focus which enriches sets by picking out one d...