STRL
© 1996-2015







5 Future work

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