-
Anglický jazyk
Extending Temporal Logic with Omega-automata
Autor: Nir Piterman
This book surveys the automata theoretic techniques that are required for model checking and satisfiability of expressive extensions of LTL that are used in specification of hardware designs. The motivation for studying these issues was the work done in... Viac o knihe
Na objednávku
45.36 €
bežná cena: 50.40 €
O knihe
This book surveys the automata theoretic techniques that are required for model checking and satisfiability of expressive extensions of LTL that are used in specification of hardware designs. The motivation for studying these issues was the work done in Intel on a specification language for hardware model checking that extends LTL, later to be named ForSpec. While ForSpec does not include automata as temporal connectives, the backend tool, that handles the translation of ForSpec does. This led to the renewed study of automata connectives, and how to best handle them with alternating automata.
- Vydavateľstvo: LAP LAMBERT Academic Publishing
- Rok vydania: 2009
- Formát: Paperback
- Rozmer: 220 x 150 mm
- Jazyk: Anglický jazyk
- ISBN: 9783838322063
Nemecký jazyk 
