Le livre est actuellement en rupture de stock
En savoir plus sur le livre
Focusing on automata theoretic techniques, the book explores their application in model checking and satisfiability for advanced extensions of LTL, particularly in hardware design specifications. It highlights Intel's development of ForSpec, a specification language that expands LTL, and discusses the integration of automata in its backend translation tool. The study emphasizes the renewed interest in automata connectives and the effective use of alternating automata in this context, providing insights into their role in enhancing hardware model checking.
Achat du livre
Extending Temporal Logic with Omega-automata, Nir Piterman
- Langue
- Année de publication
- 2009
- product-detail.submit-box.info.binding
- (souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .