Automated verification of Classical Soundness in Robustness Diagrams with Loop and Time Controls via L-safeness

Automated verification of Classical Soundness in Robustness Diagrams with Loop and Time Controls via L-safeness

This study addresses the absence of automated tools for verifying Classical Soundness in Robustness Diagrams with Loop and Time Controls. It introduces a novel verification approach based on structural and behavioral analysis, with a particular focus on L-safeness. A pre-processing algorithm transfo...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Asoy, Andrei Luz B. (Συγγραφέας)
Άλλοι συγγραφείς: Malinao, Jasmine A. (adviser.)
Μορφή: Thesis
Γλώσσα:English
Θέματα:
Computer software > Verification.