Reproduce the experimental results of an article currently under submission
"Assessing Software Abstractions inWCET Analysis of Reactive Programs"
An Ocaml implementation of the Turing Machine Constructions that have been described in many books but never implemented.
The experiment of this project has been moved into the osim-lutin project
inside the verimag/reproducible-research/ group