An automated verification of the notions of soundness of robustness diagram with loop and time controls

There have been four formalized notions of soundness in Robustness Diagrams with Loop and Time Controls namely classical, relaxed, weak and easy. Currently, there is no automated solution for the verification of relaxed, weak, and easy soundness. To address this gap, this work proposes a Javascript...

ver descrição completa