Highly Influenced

# Model checking Circus

@inproceedings{Freitas2005ModelCC, title={Model checking Circus}, author={Leo Freitas}, year={2005} }

- Published 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

#### From This Paper

##### Figures, tables, results, connections, and topics extracted from this paper.

13 Extracted Citations

154 Extracted References

Similar Papers