100 search results - page 9 / 20 » Linear-Time Model Checking: Automata Theory in Practice |
111
Voted
LICS
2006
IEEE
15 years 6 months ago
2006
IEEE
Logical properties of iterations of relational structures are studied and these decidability results are applied to the model checking of a powerful extension of pushdown systems....
110
click to vote
AAAI
2008
15 years 2 months ago
2008
This paper proposes an optimal approach to infinite-state action planning exploiting automata theory. State sets and actions are characterized by Presburger formulas and represent...
111
Voted
ENTCS
2006
15 years 11 days ago
2006
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...
CAV
2009
Springer
16 years 27 days ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
ERSHOV
1989
Springer
15 years 4 months ago
1989
Springer
This paper reports two experiments with implementations of constructions from theoretical computer science. The first one deals with Kleene’s and Rogers’ second recursion the...