Validated templates for specification of complex LTL formulas
Journal of Systems and Software
Hi-index | 0.00 |
The Prospec software tool facilitates the construction of formal specifications in LTL by automating Dwyer’s Specification Pattern System as extended by Mondragon and Salamah. The LTL generation has been verified through the automated creation of a rigorous test set. Over 3 million test cases were generated and executed, providing extensive coverage of the system.