Weakest-preexpectation proof rules for disjoint concurrent probabilistic programs

Arens, Patrick; Fesefeldt, Ira Justus (Thesis advisor); Katoen, Joost-Pieter (Thesis advisor); Noll, Thomas (Thesis advisor)

Aachen (2021)
Bachelor Thesis

Bachelorarbeit, RWTH Aachen University, 2021

Institutions

• Department of Computer Science [120000]
• Chair of Computer Science 2 (Software Modeling and Verification) [121310]