1 [NAME]
2 randltl \- generate random LTL/PSL formulas
3 [DESCRIPTION]
4 .\" Add any additional description here
5 [BIBLIOGRAPHY]
6 If you would like to give a reference to this tool in an article,
7 we suggest you cite the following paper:
8 .TP
9 \(bu
10 Alexandre Duret-Lutz: Manipulating LTL formulas using Spot 1.0.
11 Proceedings of ATVA'13.  LNCS 8172.
12 [SEE ALSO]
13 .BR genaut (1),
14 .BR genltl (1),
15 .BR ltlfilt (1),
16 .BR randaut (1)
17