Transcription of Model Checking: A Tutorial Overview - USF
{{id}} {{{paragraph}}}
Model checking : A Tutorial OverviewStephan MerzInstitut f ur Informatik, Universit at M survey principles of Model checking techniques for the automaticanalysis of reactive systems. The use of Model checking is exemplified by ananalysis of the Needham-Schroeder public key protocol. We then formally de-fine transition systems, temporal logic, -automata, and their relationship. Basicmodel checking algorithms for linear- and branching-time temporal logics are de-fined, followed by an introduction to symbolic Model checking and partial-orderreduction techniques. The paper ends with a list of references to some more ad-vanced IntroductionComputerized systems pervade more and more our everyday lives.
Model Checking: A Tutorial Overview Stephan Merz Institut fur Informatik, Universit¨ ¨at M ¨unchen merz@informatik.uni-muenchen.de Abstract. We survey principles of model checking techniques for the automatic analysis of reactive systems. The use of model checking is exemplified by an
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document:
{{id}} {{{paragraph}}}
Principles of Model Checking, Model checking, Chapter 4: Regular Properties Principles of Model Checking, Model, Checking, Model Checking: Principles and Applications, Model Checking: Principles and Applications to, Principles, Model check-ing, Statistical Methods Principles, Statistical Methods Principles Model Checking, Of model, Answers to Selected Exercises