Software

Temporal logic

• TRP++  a resolution-based prover for propositional linear time temporal logic
• TeMP  a Temporal Monodic Prover

Description logic

• CEX
• MEX