We may earn an affiliate commission when you visit our partners.

Model Checking

Save

May 1, 2024 4 minute read

Model Checking is a formal verification technique used to analyze the behavior of systems by exploring all possible states of the system and checking whether certain properties hold. It is used to ensure that systems meet their requirements and to find errors early in the development process.

Why Learn Model Checking?

There are many reasons why someone might want to learn Model Checking. Some of the most common reasons include:

Path to Model Checking

Take the first step.

We've curated three courses to help you on your path to Model Checking. Use these to develop your skills, build background knowledge, and put what you learn to practice.

Sorted from most relevant to least relevant:

Automated Reasoning: Symbolic Model Checking

Save

Introduction to Automated Analysis

Save

Verification and Synthesis of Autonomous Systems

Save

Help others find this page about Model Checking: by sharing it with your friends and followers:

Facebook

Copy Link

Reading list

We've selected five books that we think will supplement your learning. Use these to develop background knowledge, enrich your coursework, and gain a deeper understanding of the topics covered in Model Checking.

Model Checking, second edition

Save

Is an extensive introduction to model checking, with a strong theoretical foundation but with many practical examples to help readers get started. The book was written by three of the leading researchers and educators in model checking.

Model Checking, second edition (Cyber Physical...

Hardcover

$$$

Principles of Model Checking

Save

Aims to give readers an understanding of the foundational principles and history of model checking. This book's organizational style and historical perspective may be of interest to more advanced readers of this topic.

Principles of Model Checking

Paperback

Check price

Principles of Model Checking

Kindle Edition

Check price

Symbolic Model Checking

Save

Focuses on symbolic model checking, which technique that is used to verify large complex systems.

Symbolic Model Checking

Hardcover

$$$

Hybrid Systems III

Save

Focuses on model checking for hybrid systems, which are systems that combine discrete and continuous components.

Hybrid Systems III: Verification and Control...

Paperback

$$$$

Formal Methods for Industrial Critical Systems

Save

Focuses on model checking for parallel systems, which are systems that have multiple components that operate concurrently.

Formal Methods for Industrial Critical Systems:...

Paperback

$$$

Relevant careers

Software Engineer

Software Developer

Software Tester

Software Quality Assurance Engineer

Systems Analyst

Validation Engineer

Verification Engineer

Project Manager

Quality Assurance Manager

Software Architect

Share this

Share to help others explore Model Checking:

Facebook

Link

Table of Contents

Our mission

OpenCourser helps millions of learners each year. People visit us to learn workspace skills, ace their exams, and nurture their curiosity.

Our extensive catalog contains over 50,000 courses and twice as many books. Browse by search, by topic, or even by career interests. We'll match you to the right resources quickly.

Find this site helpful? Tell a friend about us.

Affiliate disclosure

We're supported by our community of learners. When you purchase or subscribe to courses and programs or purchase books, we may earn a commission from our partners.

Your purchases help us maintain our catalog and keep our servers humming without ads.

Thank you for supporting OpenCourser.