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