Knowledge-based programs specify multi-agent protocols with epistemic gu...
We present a Hoare logic that extends program specifications with regula...
This paper provides the first correct semantical representation of UML
s...
We propose E^↓-logic as a formal foundation for the
specification and de...