Commit 12c7666a authored by Benoit Barbot's avatar Benoit Barbot
Browse files

fix makefile

parent f2743200
Pipeline #1698 passed with stages
in 32 seconds
......@@ -2,6 +2,8 @@
*WordGen : Time Word generator.* WordGen is a tool taking as input a time automaton and which sample time words from the language of the automaton. Time words are sampled according to the uniform distribution i.e. each time word is sampled with the same probability. Details the theory behind WordGen can be found in the following papers:
A web application demonstrating this tool is available here http://lscl.fr/~barbot/wordgen.
B. Barbot, N. Basset and T. Dang. [Generation of signals under temporal constraints for CPS testing](http://www.lacl.fr/~barbot/file/BBD19.pdf). In NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, volume 11460 of LNCS, pages 54-70. Springer, 2019.
B. Barbot, N. Basset, M. Beunardeau and M. Kwiatkowska. [Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement](https://www.irif.univ-paris-diderot.fr/_media/users/nbasset/unif-sampling-ta.pdf). In QEST'16, volume 9826 of LNCS, pages 175-190. Springer, 2016.
......@@ -12,7 +14,7 @@ B. Barbot, N. Basset and T. Dang. [Generation of signals under temporal constrai
### Dependencies
- install ocaml >= 4.07
- using opam: opam install depext ocamlfind ocamlbuild; opam depext -i xml-light yojson zarith
- without opam: apt-get install libyojson-ocaml-dev libxml-light-ocaml-dev libyojson-ocaml-dev ocamlbuild ocaml-findlib
- without opam: apt-get install libyojson-ocaml-dev libxml-light-ocaml-dev libyojson-ocaml-dev libzarith-ocaml-dev ocamlbuild ocaml-findlib
### Compile
Run make
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment