1472 search results - page 182 / 295 » On Model Checking Infinite-State Systems |
113
click to vote
FTCS
1998
15 years 3 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
132
Voted
FOSSACS
2007
Springer
15 years 8 months ago
2007
Springer
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...
ASPDAC
2007
ACM
15 years 5 months ago
2007
ACM
- Current industry trends in system design -- multiple clocks, clocks with arbitrary frequency ratios, multi-phased clocks, gated clocks, and level-sensitive latches, combined with...
117
click to vote
FMCAD
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
139
Voted
EUROMICRO
2000
IEEE
15 years 6 months ago
2000
IEEE
The Automated Production Systems (APS) are composed of concurrent interacting entities. Then any model should exhibit parallel and sequential behaviours. The Grafcet is now well e...