Package org.svvrl.goal.core.tran.kp02
-
Class Summary Class Description KP02 This class provides an implementation of the translation from a QPTL formula to a congruent Büchi automaton in [Yonit Kesten, Amir Pnueli: Complete Proof System for QPTL.KP02Translators This class provides several translators based on the KP02 translation algorithm.KP02Translators.QPTL2NBW This class provides a translator from a QPTL formula to an equivalent Büchi automaton.