DocumentCode
1603429
Title
An improvement on the Symbolic L* Algorithm
Author
Aguilar, A. ; González, R.E.
Author_Institution
CINVESTAV, Zapopan
fYear
2007
Firstpage
177
Lastpage
180
Abstract
In this paper we present several improvements on the symbolic implementation of Angluin´s L* algorithm for regular inference in the context of the compositional verification of reactive systems. We present a new kind of symbolic structures to model such systems, which we interpret as automata for L* suitability, as well as a more efficient procedure for close the observational table.
Keywords
automata theory; formal verification; Angluin L* algorithm; automata; compositional verification; model checking; reactive system; symbolic structure; Algorithm design and analysis; Binary decision diagrams; Communication channels; Explosions; Formal verification; Inference algorithms; Learning automata; Power system modeling; Safety; Vocabulary; Compositional reasoning; learning of automata; regular inference; symbolic methods;
fLanguage
English
Publisher
ieee
Conference_Titel
Electrical and Electronics Engineering, 2007. ICEEE 2007. 4th International Conference on
Conference_Location
Mexico City
Print_ISBN
978-1-4244-1166-5
Electronic_ISBN
978-1-4244-1166-5
Type
conf
DOI
10.1109/ICEEE.2007.4345001
Filename
4345001
Link To Document