Package edu.wis.jtlv.lib.mc.tl

Class Summary

CTLModelCheckAlg	An implementation for CTL model checking.
LTLModelCheckAlg	There are two methods to use this algorithms:
LTLTester	Construct a tester for a given LTL specification.
LTLValidAlg	Check validity of ltl formula on a given design (or without one).