Search Sciweavers | Sciweavers

1472 search results - page 5 / 295

» On Model Checking Infinite-State Systems

click to vote

CADE
2008
Springer

120views Logical Reasoning» more CADE 2008»

Certifying a Tree Automata Completion Checker

15 years 9 months ago

Download www.irisa.fr

Tree automata completion is a technique for the verification of infinite state systems. It has already been used for the verification of cryptographic protocols and the prototyping...

Benoît Boyer, Thomas Genet, Thomas P. Jensen

claim paper

Read More »

click to vote

AAAI
2008

185views Intelligent Agents» more AAAI 2008»

Optimal Metric Planning with State Sets in Automata Representation

14 years 11 months ago

Download www.aaai.org

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...

Björn Ulrich Borowsky, Stefan Edelkamp

claim paper

Read More »

click to vote

SIGSOFT
2006
ACM

147views Software Engineering» more SIGSOFT 2006»

SYNERGY: a new algorithm for property checking

15 years 10 months ago

Download mtc.epfl.ch

We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...

Bhargav S. Gulavani, Thomas A. Henzinger, Yamini K...

claim paper

Read More »

click to vote

ATVA
2005
Springer

142views Hardware» more ATVA 2005»

Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology

15 years 3 months ago

Download cs.nyu.edu

Venkatesh Mysore, Carla Piazza, Bud Mishra

claim paper

Read More »