Articoli correlati a Extending Temporal Logic with Omega-automata: The Automata...
Extending Temporal Logic with Omega-automata: The Automata Theoretic Techniques behind PSL Model Checking - Brossura
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
- EditoreLAP Lambert Academic Publishing
- Data di pubblicazione2010
- ISBN 10 3838322061
- ISBN 13 9783838322063
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine88
- Contatto del produttorenon disponibile
Compra nuovo
Visualizza questo articolo
EUR 41,05
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costiRisultati della ricerca per Extending Temporal Logic with Omega-automata: The Automata...
Immagini fornite dal venditore
Extending Temporal Logic with Omega-automata
Editore:
LAP Lambert Academic Publishing, 2009
ISBN 10: 3838322061
ISBN 13: 9783838322063
Nuovo
Brossura
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo 5412869
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Extending Temporal Logic with Omega-automata
Editore:
LAP LAMBERT Academic Publishing Okt 2009, 2009
ISBN 10: 3838322061
ISBN 13: 9783838322063
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783838322063
Quantità: 2 disponibili
Immagini fornite dal venditore
Extending Temporal Logic with Omega-automata : The Automata Theoretic Techniques behind PSL Model Checking
Editore:
LAP LAMBERT Academic Publishing, 2010
ISBN 10: 3838322061
ISBN 13: 9783838322063
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783838322063
Quantità: 1 disponibili
Immagini fornite dal venditore
Extending Temporal Logic with Omega-automata
Editore:
LAP LAMBERT Academic Publishing Okt 2009, 2009
ISBN 10: 3838322061
ISBN 13: 9783838322063
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783838322063
Quantità: 2 disponibili
Foto dell'editore
Extending Temporal Logic with Omega-automata: The Automata Theoretic Techniques behind PSL Model Checking
Editore:
LAP Lambert Academic Publishing, 2010
ISBN 10: 3838322061
ISBN 13: 9783838322063
Antico o usato
paperback
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
paperback. Condizione: Like New. Like New. book. Codice articolo ERICA80038383220616
Quantità: 1 disponibili