3 search results - page 1 / 1 » Symbolic OBDD-Based Reachability Analysis Needs Exponential ... |
SOFSEM
2010
Springer
14 years 1 months ago
2010
Springer
CONCUR
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
CAV
1999
Springer
13 years 9 months ago
1999
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...