5525 search results - page 88 / 1105 » Verification of Model Transformations |
MODELS
2009
Springer
15 years 4 months ago
2009
Springer
MODELS
2007
Springer
15 years 4 months ago
2007
Springer
MODELS
2009
Springer
15 years 2 months ago
2009
Springer
WSC
2008
15 years 4 days ago
2008
CAV
2006
Springer
15 years 1 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...