2850 search results - page 16 / 570 » On Timed Models and Full Abstraction |
ER
2006
Springer
13 years 11 months ago
2006
Springer
regated Graphs for Modeling Spatio-Temporal Networks - An Extended Abstract Technical Report Department of Computer Science and Engineering University of Minnesota 4-192 EECS Build...
CAV
2000
Springer
13 years 11 months ago
2000
Springer
xample-Guided Abstraction Refinement for Symbolic Model Checking EDMUND CLARKE YUAN LU Carnegie Mellon University, Pittsburgh, Pennsylvania Broadcom Co., San Jose, California ORNA ...
DAC
1995
ACM
13 years 11 months ago
1995
ACM
Our goal is to transform a low-level circuit design into a more representation. A pre-existing tool, Tranalyze [4], takes a switch-level circuit and generates a functionally equiv...
CAV
2009
Springer
14 years 8 months ago
2009
Springer
Window Abstraction for Infinite Markov Chains Thomas A. Henzinger1 , Maria Mateescu1 , and Verena Wolf1,2 1 EPFL, Switzerland 2 Saarland University, Germany Abstract. We present an...
FMCAD
2008
Springer
13 years 9 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...