2291 search results - page 34 / 459 » Logic Programming and Model Checking |
101
click to vote
SIGSOFT
2003
ACM
15 years 7 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...
118
Voted
ESOP
2001
Springer
15 years 6 months ago
2001
Springer
89
Voted
ICALP
1993
Springer
15 years 6 months ago
1993
Springer
96
Voted
PLDI
2011
ACM
14 years 5 months ago
2011
ACM
113
Voted
LOGCOM
2002
15 years 1 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...