Search
 
loader loading subjects...
cover
Model Checking Basics
Doron Peled
335 - 362
10.3233/978-1-61499-207-3-335
NATO Science for Peace and Security Series - D: Information and Communication Security
Volume 34: Engineering Dependable Software Systems
Abstract

Model checking is a collection of methods for the automatic verification of (often, finite state) systems based on automata and logic principles. We present the basic principles of modeling a system, specifying its properties and applying verification algorithms. We present several methods for combating the challenge of coping with the state space explosion problem.

$35.00 / €27.50 / £22.00
Add PDF to cart