Pipit on the Post: Proving Pre- and Post-Conditions of Reactive Systems

Amos Robinson^*
, Alex Potanin^*

^*Corresponding author for this work

School of Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review

1 Citation (Scopus)

1 Citations
1 Short survey

1 results

Filter

2024
Pipit on the Post: Proving Pre- and Post-Conditions of Reactive Systems (Artifact)
Robinson, A. & Potanin, A., 2024, In: Dagstuhl Artifacts Series (DARTS). 10, 2, p. 19:1-19:2
Research output: Contribution to journal › Short survey › peer-review