-
Decentralized enforcement of document lifecycle constraints
This lab contains a set of experiments for evaluating the generation time and space consumption of peer-action sequences. This is done by creating dummy sequences and measuring... -
Execution of the Pingus Video Game
Synthetic execution traces of the video game Pingus, used for runtime verification. All details regarding the experiments can be found in the paper Automated Bug Finding in...
