Principles of Model Checking by Joost-Pieter Katoen, Christel Baier

Principles of Model Checking

Mit Press

Joost-Pieter Katoen, Christel Baier

975 pages missing pub info (editions)

nonfiction computer science science informative medium-paced
Powered by AI (Beta)
Loading...

Description

A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises.Our growing dependence on increasingly ...

Read more

Community Reviews Summary of 1 rating

Average rating

5.0

Content Warnings

This book doesn't have any content warnings yet!

If you're the author of this book and want to add author-approved content warnings, please email us at [email protected] to request the content warning form.