Model checking Circus

@inproceedings{Freitas2005ModelCC,
  title={Model checking Circus},
  author={Leo Freitas},
  year={2005}
}
As software complexity increases, so does the need for precision. For some areas, such as high-integrity and safety-critical domains, this precision is imperative rather than optional. To address this issue, both academia and industry have been applying formal methods and formal verification techniques, where model checking and theorem proving are the most successful. Model checking is a verification technique that exhaustively searches the state space of a system represented by some formal… CONTINUE READING
Highly Cited
This paper has 21 citations. REVIEW CITATIONS
13 Extracted Citations
154 Extracted References
Similar Papers

Referenced Papers

Publications referenced by this paper.
Showing 1-10 of 154 references

An Archiecture for Integrating Refinement Model Checking with Theorem Proving

  • Leo Freitas, Jim Woodcock
  • Innovations in Systems and Software Engineering…
  • 2006

Circus Type-checker

  • Manuela Xavier
  • Master’s thesis, Universidade Federal de…
  • 2006

Animating a Simplified Operational Semantics for Model Checking Circus in Z/Eves

  • Leonardo Freitas
  • (CDROM),
  • 2005

CZT integration with Circus

  • Leonardo Freitas
  • (CD-ROM),
  • 2005

Similar Papers

Loading similar papers…