Session LTS

Theories

• LTS
• Indexed_Rewriting
• Cooperation_Program
• Call_Graph_Scc_Decomp
• Cut_Transition_Split
• Show_LTS
• Fresh_Variable_Addition
• Initial_Cooperation_Program
• Invariant_Checker
• Invariants_To_Assertions
• Invariant_Proof_Checkers
• Transition_Removal
• Location_Addition
• LTS_Termination_Prover
• LTS_Safety_Prover
• IA_Instance
• LTS_Nontermination_Prover
• LTS_Parser
• All_of_LTS