Pipit on the Post: Proving Pre- and Post-Conditions of Reactive Systems (Artifact).

Mon, 01 Jan 2024 00:00:00 +0100

Amos Robinson, Alex Potanin :
Pipit on the Post: Proving Pre- and Post-Conditions of Reactive Systems (Artifact). Dagstuhl Artifacts Ser. 10(2): 19:1-19:2 (2024)