Editing Model checking (section)

== Further reading ==
{{refbegin}}
*{{cite book |author1-link=Doron A. Peled |first1=Doron A. |last1=Peled |first2=Patrizio |last2=Pelliccione |first3=Paola |last3=Spoletini |chapter=Model Checking |chapter-url=https://onlinelibrary.wiley.com/doi/10.1002/9780470050118.ecse247 |title=Wiley Encyclopedia of Computer Science and Engineering |publisher= |location= |date=2009 |isbn=978-0-470-05011-8 |pages= 1904–1920|doi=10.1002/9780470050118.ecse247 |s2cid=5371327 |url=}}
*{{cite book |author1-link=Edmund M. Clarke |first1=Edmund M. |last1=Clarke |author2-link=Orna Grumberg |first2=Orna |last2=Grumberg |first3=Doron A. |last3=Peled |title=Model Checking |publisher=[[MIT Press]] |date=1999 |isbn=0-262-03270-8 |pages= |url=}}
*{{cite book |first1=B. |last1=Berard |first2=M. |last2=Bidoit |first3=A. |last3=Finkel |first4=F. |last4=Laroussinie |first5=A. |last5=Petit |first6=L. |last6=Petrucci |first7=P. |last7=Schnoebelen |title=Systems and Software Verification: Model-Checking Techniques and Tools |publisher= Springer|location= |date= 20 June 2001|isbn=3-540-41523-8 |pages= |url=}}
*{{cite book |first1=Michael |last1=Huth |first2=Mark |last2=Ryan |title=Logic in Computer Science: Modelling and Reasoning About Systems |publisher=[[Cambridge University Press]] |date=2004 |isbn= |pages= |url=}}
*{{cite book |author1-link=Gerard J. Holzmann |first=Gerard J. |last=Holzmann |title=The Spin Model Checker: Primer and Reference Manual |publisher=Addison-Wesley |location= |date= |isbn=0-321-22862-6 |pages= |url=http://spinroot.com/spin/Doc/Book_extras/}}
*{{cite book |last1=Bradfield |first1=Julian |first2=Colin |last2=Stirling |chapter=Modal Logics and mu-Calculi: An Introduction |chapter-url=http://homepages.inf.ed.ac.uk/jcb/Research/bradfield-stirling-HPA-mu-intro.ps.gz |title=Handbook of Process Algebra |publisher=Elsevier |date=2001 |isbn=978-0-444-82830-9 |pages=293–330 |doi=10.1016/B978-044482830-9/50022-9 |url=}}. JA Bergstra, A. Ponse and SA Smolka, editors." ().
*{{cite web |title=Specification Patterns |url=http://patterns.projects.cis.ksu.edu/documentation/patterns.shtml |publisher=SAnToS Laboratory, Kansas State University|archive-url=https://web.archive.org/web/20110719222236/http://patterns.projects.cis.ksu.edu/documentation/patterns.shtml |archive-date=2011-07-19 }}
*{{cite web |title=Property Pattern Mappings for RAFMC |url=http://cadp.inria.fr/resources/evaluator/rafmc.html |date=2019 |work=CADP:Construction and Analysis of Distributed Processes |publisher= }}
*{{cite journal |first1=Radu |last1=Mateescu |author2-link=Mihaela Sighireanu |first2=Mihaela |last2=Sighireanu |title=Efficient On-the-Fly Model-Checking for Regular Alternation-Free Mu-Calculus |journal=Science of Computer Programming |volume=46 |issue=3 |pages=255–281 |date=2003 |doi=10.1016/S0167-6423(02)00094-1 |s2cid=10942856 |url=http://vasy.inria.fr/ftp/publications/cadp/Mateescu-Sighireanu-03.pdf}}
*{{cite book |last1=Müller-Olm |first1=M. |last2=Schmidt |first2=D.A. |author3-link=Bernhard Steffen (computer scientist)|last3=Steffen |first3=B. |chapter=Model checking: a tutorial introduction |doi=10.1007/3-540-48294-6_22 |citeseerx=10.1.1.96.3011 |chapter-url= |title=Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings |publisher=Springer |location=LNCS |volume=1694 |date=1999 |isbn=978-3-540-48294-9 |pages=330–354 }}
*{{cite book |author1-link=Christel Baier |last1=Baier |first1=C. |author2-link=Joost-Pieter Katoen |last2=Katoen |first2=J. |chapter= |chapter-url= |title=Principles of Model Checking |title-link=Principles of Model Checking |publisher=MIT Press |date=2008 |isbn=978-0-262-30403-0 }}
*{{cite book |author1-link=Edmund M. Clarke |first=E.M. |last=Clarke |title=25 Years of Model Checking |chapter=The Birth of Model Checking |series=Lecture Notes in Computer Science |year=2008 |volume=5000 |pages=1–26 |doi=10.1007/978-3-540-69850-0_1|isbn=978-3-540-69849-4 }}
*{{cite book | url=https://link.springer.com/chapter/10.1007/978-3-540-69850-0_2 |first=E. Allen |last=Emerson | contribution=The Beginning of Model Checking: A Personal Perspective | pages=27–45 | isbn=978-3-540-69849-4 |editor1-first=Orna |editor1-last=Grumberg |editor2-first=Helmut |editor2-last=Veith | title=25 Years of Model Checking — History, Achievements, Perspectives | publisher=Springer | series=LNCS | volume=5000 | year=2008 | doi=10.1007/978-3-540-69850-0_2 |ref={{harvid|25 Years|2008}}}} (this is also a very good introduction and overview of model checking)
{{refend}}

{{Program analysis}}
{{DEFAULTSORT:Model Checking}}
[[Category:Model checking| ]]
[[Category:Logic in computer science| ]]