4 Tools

  4.1 (Ana)Tempura
  4.2 FLCheck: Fusion Logic decision Procedure
  4.3 ITL library for Isabelle/HOL
  4.4 ITL Theorem Prover based on Prover9
  4.5 ITL Proof Checker based on PVS
  4.6 Automatic Verification of Interval Temporal Logic

2023-09-14
Contact | Home | ITL home | Course | Proofs | Algebra | FL
© 1996-2023