1129 search results - page 48 / 226 » Formal Verification of Websites |
ISOLA
2010
Springer
14 years 9 months ago
2010
Springer
CAV
1994
Springer
15 years 4 months 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...
ASPDAC
2004
ACM
15 years 3 months ago
2004
ACM
When time is incorporated in the specification of discrete systems, the complexity of verification grows exponentially. When the temporal behavior is specified with symbols, the ve...
FMCAD
2006
Springer
15 years 3 months ago
2006
Springer
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...
FMCAD
2004
Springer
15 years 3 months 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...