Replaying experiments

Those experiments can be replayed by downloading and compiling Timbuk's last version (this is not yet available on the online version). This archive contains a folder FunExperiments with all the examples presented on this page. To run Timbuk on the specification plus.txt, just type:

timbuk --fun 10 plus.txt

where --fun is for "functional mode" (Timbuk will generate the necessary equations to prove the property), and 10 is an upper-bound for the maximal completion step to perform. This can be increased if necessary.