Baier Christel, Katoen Jost-Pieter:
Principles Of Model Checking
Mit Press Ltd (United States), 2008
Hardback, 936 pages
Size: 254x203 mm
ISBN: 9780262026499
ISBN-10: 026202649X
List price: £46.95
You save: 15%
Principles Of Model Checking
Presents 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. This book introduces the temporal logics LTL and CTL, compares them, and covers algorithms for verifying these logics.

