1116 search results - page 14 / 224 » Applying Predicate Abstraction to Abstract State Machines |
110
click to vote
FASE
2008
Springer
15 years 24 days ago
2008
Springer
Abstract. Existing algorithms for regular inference (aka automata learning) allows to infer a finite state machine by observing the output that the machine produces in response to ...
107
click to vote
ICALP
2010
Springer
15 years 1 months ago
2010
Springer
Guided Abstraction Simplification Roberto Giacobazzi1 and Francesco Ranzato2 1 University of Verona, Italy 2 University of Padova, Italy Abstract. In static analysis, approximation...
CAV
2008
Springer
15 years 1 months ago
2008
Springer
Counterexample-guided abstraction refinement (CEGAR) has been en vogue for the automatic verification of very large systems in the past years. When trying to apply CEGAR to the ver...
80
Voted
PTS
2007
15 years 14 days ago
2007
Abstract. We investigate the use of parameterized state machine models to drive integration testing, in the case where the models of components are not available beforehand. Theref...
108
click to vote
FMICS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...