Paper published in a journal (Scientific congresses and symposiums)
Constructing Automata from Temporal Logic Formulas: A Tutorial
Wolper, Pierre
2001In Lecture Notes in Computer Science, 2090, p. 261-277
 

Files


Full Text
Wol00-fmpa.pdf
Author postprint (337.98 kB)
Download
Full Text Parts
Wol00-fmpa.pdf
Publisher postprint (603.93 kB)
Request a copy

The original publication is available at www.springerlink.com


All documents in ORBi are protected by a user license.

Send to



Details



Keywords :
temporal logic; Buchi automata; model checking
Abstract :
[en] This paper presents a tutorial introduction to the construction of finite-automata on infinite words from linear-time temporal logic formulas. After defining the source and target formalisms, it describes a first construction whose correctness is quite direct to establish, but whose behavior is always equal to the worst-case upper bound. It then turns to the techniques that can be used to improve this algorithm in order to obtain the quite effective algorithms that are now in use.
Disciplines :
Computer science
Author, co-author :
Wolper, Pierre  ;  Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique (parallélisme et banques de données)
Language :
English
Title :
Constructing Automata from Temporal Logic Formulas: A Tutorial
Publication date :
2001
Event name :
FORMAL METHODS AND PERFORMANCE ANALYSIS The first Euro Summerschool on Trends in Computer Science
Event place :
Nijmegen, Netherlands
Event date :
July 3-7, 2000
By request :
Yes
Audience :
International
Journal title :
Lecture Notes in Computer Science
ISSN :
0302-9743
eISSN :
1611-3349
Publisher :
Springer, Berlin, Germany
Special issue title :
Lectures on Formal Methods and Performance Analysis
Volume :
2090
Pages :
261-277
Available on ORBi :
since 18 August 2009

Statistics


Number of views
110 (12 by ULiège)
Number of downloads
2583 (6 by ULiège)

Scopus citations®
 
55
Scopus citations®
without self-citations
55
OpenCitations
 
36

Bibliography


Similar publications



Contact ORBi