Items related to Extending Temporal Logic with Omega-automata: The Automata...
Extending Temporal Logic with Omega-automata: The Automata Theoretic Techniques behind PSL Model Checking - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
- PublisherLAP Lambert Academic Publishing
- Publication date2010
- ISBN 10 3838322061
- ISBN 13 9783838322063
- BindingPaperback
- LanguageEnglish
- Number of pages88
Buy New
View this item
£ 43.23
£ 9.42 shipping from Germany to United Kingdom
Destination, rates & speedsSearch results for Extending Temporal Logic with Omega-automata: The Automata...
Seller Image
Extending Temporal Logic with Omega-automata
Published by
LAP LAMBERT Academic Publishing Okt 2009, 2009
ISBN 10: 3838322061
ISBN 13: 9783838322063
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 88 pp. Englisch. Seller Inventory # 9783838322063
Quantity: 2 available
Seller Image
Extending Temporal Logic with Omega-automata : The Automata Theoretic Techniques behind PSL Model Checking
Published by
LAP LAMBERT Academic Publishing, 2010
ISBN 10: 3838322061
ISBN 13: 9783838322063
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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. Seller Inventory # 9783838322063
Quantity: 1 available
Seller Image
Extending Temporal Logic with Omega-automata
Published by
LAP Lambert Academic Publishing, 2009
ISBN 10: 3838322061
ISBN 13: 9783838322063
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 Int. Seller Inventory # 5412869
Quantity: Over 20 available
Seller Image
Extending Temporal Logic with Omega-automata
Published by
LAP LAMBERT Academic Publishing Okt 2009, 2009
ISBN 10: 3838322061
ISBN 13: 9783838322063
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -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.Books on Demand GmbH, Überseering 33, 22297 Hamburg 88 pp. Englisch. Seller Inventory # 9783838322063
Quantity: 2 available
Stock Image
Extending Temporal Logic with Omega-automata: The Automata Theoretic Techniques behind PSL Model Checking
Published by
LAP Lambert Academic Publishing, 2010
ISBN 10: 3838322061
ISBN 13: 9783838322063
Used
paperback
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
paperback. Condition: Like New. Like New. book. Seller Inventory # ERICA80038383220616
Quantity: 1 available