2872 search results - page 166 / 575 » On (Omega-)Regular Model Checking |
CAV
1997
Springer
15 years 3 months ago
1997
Springer
110
click to vote
CONCUR
1997
Springer
15 years 3 months ago
1997
Springer
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...
70
Voted
LICS
1996
IEEE
15 years 3 months ago
1996
IEEE
ICALP
1997
Springer
15 years 3 months ago
1997
Springer
ICLP
1997
Springer
15 years 3 months ago
1997
Springer
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which propert...