Real-Time Monitoring of Ocaml programs. - Sylvain Conchon; Jean-Christophe Filliâtre; Fabrice Le Fessant; Julien Robert; Guillaume Von Tokarski (Stud. Inform. Univ., 2011)