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.