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

 
9783838322063: Extending Temporal Logic with Omega-automata: The Automata Theoretic Techniques behind PSL Model Checking

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 Used

Condition: As New
Like New
View this item

£ 8 shipping within United Kingdom

Destination, rates & speeds

Buy New

View this item

£ 9.27 shipping from Germany to United Kingdom

Destination, rates & speeds

Search results for Extending Temporal Logic with Omega-automata: The Automata...

Seller Image

Nir Piterman
ISBN 10: 3838322061 ISBN 13: 9783838322063
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

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

Contact seller

Buy New

£ 42.55
Convert currency
Shipping: £ 9.27
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

Nir Piterman
Published by LAP LAMBERT Academic Publishing, 2010
ISBN 10: 3838322061 ISBN 13: 9783838322063
New Taschenbuch
Print on Demand

Seller: AHA-BUCH GmbH, Einbeck, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

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

Contact seller

Buy New

£ 42.55
Convert currency
Shipping: £ 11.79
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Piterman, Nir
Published by LAP Lambert Academic Publishing, 2009
ISBN 10: 3838322061 ISBN 13: 9783838322063
New Softcover
Print on Demand

Seller: moluna, Greven, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

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

Contact seller

Buy New

£ 35.64
Convert currency
Shipping: £ 21.07
From Germany to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Nir Piterman
ISBN 10: 3838322061 ISBN 13: 9783838322063
New Taschenbuch

Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

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

Contact seller

Buy New

£ 42.55
Convert currency
Shipping: £ 29.50
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

Piterman, Nir
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 4-star rating, Learn more about seller ratings

paperback. Condition: Like New. Like New. book. Seller Inventory # ERICA80038383220616

Contact seller

Buy Used

£ 89
Convert currency
Shipping: £ 8
Within United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket