Title :
An improvement on the Symbolic L* Algorithm
Author :
Aguilar, A. ; González, R.E.
Author_Institution :
CINVESTAV, Zapopan
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;
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
DOI :
10.1109/ICEEE.2007.4345001
