Verifying Refinement of Probabilistic Contracts Using Timed Automata

von Hampus, Anton
Veröffentlicht in International Symposium on Theoretical Aspects of Software Engineering (17. : 2023 : Bristol) Theoretical aspects of software engineering (2023)

Formally Verifying Decompositions of Stochastic Specifications

von Hampus, Anton
Veröffentlicht in FMICS (27. : 2022 : Warschau) Formal methods for industrial critical systems (2022)