777 search results - page 4 / 156 » Model Checking with Formula-Dependent Abstract Models |
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
ion in model checking multi-agent systems Mika Cohen Department of Computing Imperial College London London, UK Mads Dam Access Linnaeus Center Royal Institute of Technology Stockh...
ICCAD
1996
IEEE
15 years 1 months ago
1996
IEEE
Based Automatic Abstraction for CTL Model Checking Woohyuk Lee Abelardo Pardo Jae-Young Jang Gary Hachtel Fabio Somenzi University of Colorado ECEN Campus Box 425 Boulder, CO, 8030...
82
Voted
CAV
2004
Springer
15 years 3 months ago
2004
Springer
Regular Tree Model Checking Ahmed Bouajjani, Peter Habermehl 1 LIAFA, University Paris 7, Case 7014, 2, place Jussieu, F-75251 Paris Cedex 05, France Adam Rogalewicz, Tom´aˇs Voj...
70
Voted
FM
1994
Springer
15 years 1 months ago
1994
Springer
Model Checking of Infinite Specifications Daniel Jackson School of Computer Science Carnegie Mellon University Pittsburgh, PA A new method for analyzing specifications in languages...
FMCO
2005
Springer
15 years 3 months ago
2005
Springer
ion and Refinement in Model Checking Orna Grumberg Technion, Haifa, Israel FMCO, Amsterdam November 2005