[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Christel Baier & Joost Katoen
- Principles of Model Checking
- The MIT Press Cambridge MA (2008) ISBN 026202649X CR 0912-1115
- =TEXT =THEORY MODEL CHECKING MODAL LOGICS FSM LTL CTL CTL* TCTL BISIMULAION OBDT MARKOV PCTL PCTL*
- Excellent and thorough text book suitable for graduate Computer
scientists or some final year undergraduates
- A large in depth reference to the theory of the most successful
formal methods - so far.
- Does not use the normal syntax for modes but uses ∀ and ∃.
So doesn't fit some tools.
- Does not use standard terminology.
- Does include newer topics and types of models.
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]