© 1996-2019







5 Future work

Future work [Slide 34]

  • Compare with JavaLite and PITL2MONA
  • Combine Decision Procedure with theorem prover Prover9
  • Compare with tools for mu-calculus







2019-01-03
Contact | Home | ITL home | Course | Proofs | Algebra | FL