spot  1.0.1
Modules
TA algorithms
TA (Testing Automata)

Modules

 Input/Output of TA
 Transforming TGBA into TA
 Algorithm patterns
 TA simplifications
 Miscellaneous algorithms on TA
 Emptiness-checks
 Check whether the language of a product (spot::ta_product) between a Kripke structure and a TA is empty. It works also for the product using Generalized TA (GTA and SGTA).

Detailed Description


Please comment this page and report errors about it on the RefDocComments page.
Generated on Wed Jan 23 2013 15:00:02 for spot by doxygen 1.8.1.2