Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Automated Verification
  4. On the Application of Counterexample−Guided Abstraction refinement and data independence to the parameterised model checking problem

On the Application of Counterexample−Guided Abstraction refinement and data independence to the parameterised model checking problem

Gavin Lowe

Book Title
Proceedings of the Third International Workshop on Automatic Verification of Infinite−State Systems‚ (AVIS 2004)
Year
2004

Links

See Also

Back to Top