Example: barber
Search results with tag "A tutorial overview"
Model Checking: A Tutorial Overview - USF
www.csee.usf.eduModel 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