Model checking /
| Основен автор: | Clarke, E. M., 1945- |
|---|---|
| Други автори: | Grumberg, Orna., Peled, Doron A., 1962- |
| Формат: | Електронна книга |
| Език: | English |
| Публикувано: |
Cambridge, Mass. :
MIT Press,
℗♭1999.
|
| Предмети: | |
| Онлайн достъп: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=27235 |
| Подобни документи: |
Print version::
Model checking. |
Съдържание:
- Modeling systems
- Trmporal logics
- Model checking
- Binary decision diagram
- Symbolic model checking
- Model checking for the u-calculus
- Model checking in practice
- Model checking and automata theory
- Partial order reduction
- Equivalences and preorders between structures
- Compositional reasoning
- Abstraction
- Symmetry
- Infinite families of finite-state systems
- Discrete real-time and quantitative temporal analysis
- Continuous real time.