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.
Search 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
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 4 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
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
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
Seller Image
Extending Temporal Logic with Omega-automata | The Automata Theoretic Techniques behind PSL Model Checking
Published by
LAP LAMBERT Academic Publishing, 2009
ISBN 10: 3838322061
ISBN 13: 9783838322063
New
Taschenbuch
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Extending Temporal Logic with Omega-automata | The Automata Theoretic Techniques behind PSL Model Checking | Nir Piterman | Taschenbuch | 88 S. | Englisch | 2009 | LAP LAMBERT Academic Publishing | EAN 9783838322063 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu. Seller Inventory # 101287362
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