an OCaml Benchmark for Decentralized Monitoring of LTL formulae
This version is distributed as a ZIP file containing the whole distribution. Please unzip DecentMonitor_v_X_Y.zip and refer to the README file.
1.1: (Sep 7rd, 2011) -
1.0: Initial version (June 3rd, 2011) -
DecentMon is an OCaml benchmark dedicated to decentralised monitoring of LTL formulae. Learn more....
© 2011-2012 Laboratoire d'Informatique de Grenoble (LIG) - University of Grenoble 1 -
National ICT Australia
Website designed with the help of website templates by styleshout
Back to Top