Commit f0d4ceb4 authored by Benoit Barbot's avatar Benoit Barbot
Browse files

fix makefile

parent 12c7666a
Pipeline #1699 passed with stages
in 32 seconds
......@@ -2,7 +2,7 @@
*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.
A web application demonstrating this tool is available here http://lacl.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.
......
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