ec-m/BachelorsThesis

Mutation-based Validation of Temporal Logic Specifications with Guarantees