To access the full text documents, please follow this link: http://hdl.handle.net/2117/77255

Verification of temporal properties of infinite state systems
Luengo Agulló, Cristina
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació; Rubio Gimeno, Alberto
Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors
Algorithms
verificació formal
teoria d'autòmats
verificació de models
lògica lineal temporal
Büchi automata
formal verification
automata theory
model checking
linear temporal logic
Büchi automata
Algorismes
info:eu-repo/semantics/bachelorThesis
Universitat Politècnica de Catalunya
         

Show full item record

 

Coordination

 

Supporters