Extending Temporal Logic with Omega-automata

The Automata Theoretic Techniques behind PSL Model Checking

Autori

• Nir Piterman

Parametri

• 88 pagine
• 4 ore di lettura

• Computer, IT, programmazione

Maggiori informazioni sul libro

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.

Lingua: Inglese

Pubblicato: 2009

(In brossura)