An introduction to model checking

@inproceedings{Palshikar2004AnIT,
  title={An introduction to model checking},
  author={Girish Keshav Palshikar},
  year={2004}
}
In the last decade or so, the computer science research community has made tremendous progress in developing tools and techniques for verifying requirements and design. The most successful approach that's emerged is called model checking. When combined with strict use of a formal modeling language, you can automate your verification process fairly well. In this article, I'll introduce you to model checking and show you how it works. 
Highly Cited
This paper has 18 citations. REVIEW CITATIONS
13 Citations
2 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 13 extracted citations

Similar Papers

Loading similar papers…