On the Application of Counterexample−Guided Abstraction refinement and data independence to the parameterised model checking problem
Gavin Lowe
Details
| Book Title |
Proceedings of the Third International Workshop on Automatic Verification of Infinite−State Systems‚ (AVIS 2004) |
| Year |
2004 |
Links
Related pages
|
People |
|
|
Activities |