• 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 611 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 172 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 712 articles [sw03455]
  • Spin is a popular open-source software tool...
  • Eiffel

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

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

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

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

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

  • Referenced in 80 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 44 articles [sw08764]
  • Taverna: a tool for the composition and enactment...
  • JPAX

  • Referenced in 29 articles [sw09906]
  • An overview of the runtime verification tool Java...
  • Z/EVES

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