3799 search results - page 348 / 760 » An Engineering Approach to Formal Methods |
171
click to vote
FORMATS
2005
Springer
16 years 9 days ago
2005
Springer
Timed automata (TA) are a widely used model for real-time systems. Several tools are dedicated to this model, and they mostly implement a forward analysis for checking reachability...
172
click to vote
COLING
2002
15 years 6 months ago
2002
We present in this paper a technique allowing to choose the parsing granularity within the same approach relying on a constraint-based formalism. Its main advantage lies in the fa...
167
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Traces Kuntal Nanshi, Fabio Somenzi University of Colorado at Boulder ne abstraction refinement and simulation to provide a more efficient approach to checking invariant properti...
158
click to vote
COMSWARE
2006
IEEE
16 years 25 days ago
2006
IEEE
—Recent protocols are become increasingly complex, and lead to further level of complexity when used in combination, often resulting in ambiguous behavior. This paper, starting f...
172
click to vote
PASTE
2004
ACM
16 years 6 days ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...