• HOL-OCL

  • Referenced in 21 articles [sw05734]
  • issue of mechanized deduction in UML/OCL specification...
  • UMLtoCSP

  • Referenced in 2 articles [sw11377]
  • tool for the formal verification of UML/OCL models using constraint programming. We present UMLtoCSP ... tool for the formal verification of UML/OCL models. Given a UML class diagram annotated with...
  • SOCLE

  • Referenced in 1 article [sw09477]
  • constraints on the computation trees of the UML/OCL model on the other hand...
  • DesertFD

  • Referenced in 2 articles [sw06586]
  • DesertFD: a finite-domain constraint based tool for...
  • KeY

  • Referenced in 63 articles [sw09969]
  • The KeY System is a formal software development...
  • KIV

  • Referenced in 51 articles [sw10060]
  • Karlsruhe Interactive Verifier (KIV). KIV is an interactive...
  • FaMa

  • Referenced in 5 articles [sw11367]
  • FaMa-FW is a Framework for automated analyses...
  • SICStus

  • Referenced in 61 articles [sw12440]
  • SICStus Prolog has evolved for nearly 25 years...