research
∙
01/25/2023
Interpreting Knowledge-based Programs (Extended Version with Proofs)
Knowledge-based programs specify multi-agent protocols with epistemic gu...
share
research
∙
05/13/2022
A Hoare Logic with Regular Behavioral Specifications
We present a Hoare logic that extends program specifications with regula...
research
∙
11/01/2020
Institution-based Encoding and Verification of Simple UML State Machines in CASL/SPASS
This paper provides the first correct semantical representation of UML s...
research
∙
02/08/2019