<--- Back to Details
First PageDocument Content
Linear temporal logic / Temporal logic / Theoretical computer science / Models of computation / Büchi automaton / Computer science / Linear temporal logic to Büchi automaton / Automatic sequence / Automata theory / Model checking / Formal methods
Date: 2006-06-05 00:33:10
Linear temporal logic
Temporal logic
Theoretical computer science
Models of computation
Büchi automaton
Computer science
Linear temporal logic to Büchi automaton
Automatic sequence
Automata theory
Model checking
Formal methods

Microsoft PowerPoint - LTL to Buchi.ppt

Add to Reading List

Source URL: www.cse.unsw.edu.au

Download Document from Source Website

File Size: 147,81 KB

Share Document on Facebook

Similar Documents

Computer science / Ω-automaton / Deterministic finite automaton / Nondeterministic finite automaton / Linear temporal logic / Finite-state machine / Symbol / Büchi automaton / Automata theory / Theoretical computer science / Formal methods

How to Efficiently Translate Extensions of Temporal Logics into Alternating Automata C´esar S´ anchez1,2 and Julian Samborski-Forlese1 1

DocID: 1fGRo - View Document

Linear temporal logic / Temporal logic / Theoretical computer science / Models of computation / Büchi automaton / Computer science / Linear temporal logic to Büchi automaton / Automatic sequence / Automata theory / Model checking / Formal methods

Microsoft PowerPoint - LTL to Buchi.ppt

DocID: YzAG - View Document

Theoretical computer science / Linear temporal logic / CTL* / Modal logic / Model checking / Kripke structure / FO / Natural deduction / Linear temporal logic to Büchi automaton / Mathematical logic / Logic / Temporal logic

Symbolic Model Checking without BDDs? Armin Biere1 , Alessandro Cimatti2 , Edmund Clarke1 , and Yunshan Zhu1 1 Computer Science Department, Carnegie Mellon University 5000 Forbes Avenue, Pittsburgh, PA 15213, U.S.A

DocID: aOMh - View Document