Sciweavers

4 search results - page 1 / 1
» Least fixpoint approximations for reachability analysis
Sort
View
ICCAD
1999
IEEE
57views Hardware» more  ICCAD 1999»
15 years 2 months ago
Least fixpoint approximations for reachability analysis
In-Ho Moon, James H. Kukula, Thomas R. Shiple, Fab...
86
Voted
DAC
2000
ACM
15 years 11 months ago
To split or to conjoin: the question in image computation
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...
In-Ho Moon, James H. Kukula, Kavita Ravi, Fabio So...
88
Voted
CORR
2010
Springer
115views Education» more  CORR 2010»
14 years 10 months ago
The complexity of solving reachability games using value and strategy iteration
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...
Kristoffer Arnsfelt Hansen, Rasmus Ibsen-Jensen, P...
85
Voted
APN
2010
Springer
14 years 10 months ago
Forward Analysis for Petri Nets with Name Creation
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...
Fernando Rosa Velardo, David de Frutos-Escrig