Results 1 to 20 of 25
Sort by:

  • CZT
  • Referenced in 12 articles [sw05782]
  • support for Z extensions, such as Object-Z, Circus and TCOZ...

  • TCOZ
  • Referenced in 8 articles [sw03382]
  • Timed Communicating Object Z (TCOZ) combines Object-Z’s strengths in modelling complex data...

  • Z2sal
  • Referenced in 6 articles [sw07087]
  • support for Z extensions such as Object-Z, Circus, and TCOZ. These tools...

  • HighSpec
  • Referenced in 1 article [sw09750]
  • language, OZTA, is a combination of Object-Z (OZ) and Timed Automata (TA). Building ... strength of Object-Z’s in specifying data structures and Timed Automata’s in modelling...

  • Isabelle
  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...

  • Moby/DC
  • Referenced in 5 articles [sw01395]
  • Moby/DC -- A tool for model-checking parametric real...

  • CASL
  • Referenced in 174 articles [sw02235]
  • The specification language developed by CoFI is called...

  • RAISE
  • Referenced in 15 articles [sw03248]
  • The development of the RAISE tools. The use...

  • SPIN
  • Referenced in 723 articles [sw03455]
  • Spin is a popular open-source software tool...

  • Eiffel
  • Referenced in 289 articles [sw03522]
  • Eiffel is an ISO-standardized, object-oriented programming...

  • JML
  • Referenced in 189 articles [sw04597]
  • The Java Modeling Language (JML) is a behavioral...

  • Uppaal
  • Referenced in 653 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...

  • ARMC
  • Referenced in 28 articles [sw04949]
  • ARMC: The Logical Choice for Software Model Checking...

  • Hets
  • Referenced in 61 articles [sw07017]
  • Hets - the Heterogeneous Tool Set. Hets is a...

  • Rodin
  • Referenced in 86 articles [sw07083]
  • The Rodin Platform is an Eclipse-based IDE...

  • Bandera
  • Referenced in 134 articles [sw07663]
  • Using the Bandera tool set to model-check...

  • Taverna
  • Referenced in 46 articles [sw08764]
  • Taverna: a tool for the composition and enactment...

  • JPAX
  • Referenced in 30 articles [sw09906]
  • An overview of the runtime verification tool Java...

  • Z/EVES
  • Referenced in 44 articles [sw10262]
  • Z/EVES Eclipse prover IDE. Community Z Tools provide...