204 search results - page 1 / 41 » Abstract Simulators for the DSDE Formalism |
WSC
1998
13 years 6 months ago
1998
SIMULATORS FOR THE DSDE FORMALISM Fernando J. Barros Departamento de Engenharia Inform
DAC
2001
ACM
14 years 6 months ago
2001
ACM
roperty Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines Dong Wang , Pei-Hsin Ho , Jiang Long , James Kukula Yunshan Zhu , Tony Ma , Robert D...
FORMATS
2006
Springer
13 years 9 months ago
2006
Springer
CAV
2004
Springer
13 years 10 months ago
2004
Springer
ICCAD
2000
IEEE
13 years 9 months ago
2000
IEEE
computation and automatic abstraction. Second, Ketchum performs not only automatic test generation but also unreachability analysis, which enables the test generation effort to be ...