256 search results - page 6 / 52 » Noetherian Spaces in Verification |
SAC
2002
ACM
13 years 8 months ago
2002
ACM
ICST
2010
IEEE
13 years 6 months ago
2010
IEEE
FMCAD
2004
Springer
14 years 4 days ago
2004
Springer
The main challenge in BDD-based verification is dealing with the memory explosion problem during reachability analysis. In this paper we advocate a methodology to handle this probl...
CAV
1994
Springer
14 years 16 days ago
1994
Springer
This paper presents a new formalism and a new algorithm for verifying timed circuits. The formalism, called orbital nets, allows hierarchical verification based on abehavioralseman...
ENTCS
2006
13 years 8 months ago
2006
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...