Mohlo by se vám také líbit

Více informací o knize Theory and Application of Buchi Automata

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 151 bodů

Anotace knihy

Model checking is a method used for testing the reliabilityof a system. The automata-theoretic approach to model checkinginvolves expressing systems in terms of finite state automata, andusing algorithms that automatically determine the satisfiability oflogic specifications for these systems. Classical automata theorystops short of this task because of its inadequateness to expressreal-time concurrent systems. This is where the theory of automataon infinite strings comes into play. Büchi automata belong to aclass of automata that have the capability of recognizing infiniteinputs. This book studies Büchi automata, their closure propertiesand their application in model checking. It discusses the use ofLinear Temporal Logic (LTL) and its translation into Büchiautomata. By reporting on experiments using the LTL2BA program, thebook provides a comparative analysis of the quality of translationsbased on certain performance criteria, such as LTL formulasimplification and on-the-fly automata simplification .

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Information technology: general issues

• Plný název: Theory and Application of Buchi Automata
• Autor: Aniket Mahanti
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 80
• EAN: 9783639036473
• ISBN: 3639036476
• ID: 06813310
• Nakladatelství: VDM Verlag Dr. Mueller E.K.
• Hmotnost: 118 g
• Rozměry: 229 × 152 × 4 mm
• Datum vydání: 10. June 2008

Oblíbené z jiného soudku

---

---

---