5525 search results - page 88 / 1105 » Verification of Model Transformations |
95
Voted
MODELS
2009
Springer
15 years 9 months ago
2009
Springer
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
WSC
2008
15 years 5 months ago
2008
135
click to vote
CAV
2006
Springer
15 years 7 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?...