Runtime verification (RV) allows analyzing execution traces using formal techniques. In particular, it permits monitoring the execution of a system against a temporal specification, commonly to detect
Formalization of definitions, theorems and proofs from the paper A. M. Pitts and S. C. Steenkamp, Constructing Initial Algebras Using Inflationary Iteration. In K. Kishida (ed), Fourth International C
How to reproduce:Run " mv scripts/compile.sh . " and " mv scripts/run.sh . " commands. Next, run " bash compile.sh ". To check if the compilation was successful, also execute " bash r
