4 search results - page 1 / 1 » Least fixpoint approximations for reachability analysis |
ICCAD
1999
IEEE
13 years 9 months ago
1999
IEEE
DAC
2000
ACM
14 years 5 months ago
2000
ACM
Image computation is the key step in fixpoint computations that are extensively used in model checking. Two techniques have been used for this step: one based on conjunction of the...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
Concurrent reachability games is a class of games heavily studied by the computer science community, in particular by the formal methods community. Two standard algorithms for app...
APN
2010
Springer
13 years 5 months ago
2010
Springer
Pure names are identifiers with no relation between them, except equality and inequality. In previous works we have extended P/T nets with the capability of creating and managing p...