• CLAN

  • Referenced in 8 articles [sw00129]
  • CLAN: A tool for contract analysis and conflict...
  • Kronos

  • Referenced in 263 articles [sw01270]
  • KRONOS is a tool developed with the aim...
  • Moby/DC

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

  • Referenced in 25 articles [sw01403]
  • TIMES -- a tool for modelling and implementation of...
  • MoDeST

  • Referenced in 32 articles [sw01544]
  • MoDeST --- a modelling and description language for stochastic...
  • Ada95

  • Referenced in 289 articles [sw01753]
  • Ada is a structured, statically typed, imperative, wide...
  • LOTOS

  • Referenced in 152 articles [sw02961]
  • Introduction to the ISO specification language LOTOS. LOTOS...
  • MOTOR

  • Referenced in 8 articles [sw02988]
  • MoTor stands for the MoDeST Tool Environment. MoTor...
  • SPARK

  • Referenced in 48 articles [sw03124]
  • Using the SPARK toolset for showing the absence...
  • IF-2.0

  • Referenced in 46 articles [sw03303]
  • IF-2.0: A validation environment for component-based...
  • SPIN

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

  • Referenced in 624 articles [sw03484]
  • PVS is a verification system: that is, a...
  • CPLEX

  • Referenced in 2625 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • LoLA

  • Referenced in 26 articles [sw04381]
  • LoLa: A low level analyser. With LoLA, we...
  • CESAR

  • Referenced in 159 articles [sw08510]
  • Specification and verification of concurrent systems in CESAR...
  • Dist-Orc

  • Referenced in 5 articles [sw10063]
  • Dist-Orc: A Rewriting-based Distributed Implementation of...
  • Z/EVES

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

  • Referenced in 13 articles [sw10585]
  • LTSA-WS: a tool for model-based verification...
  • PAT

  • Referenced in 31 articles [sw13258]
  • PAT is a self-contained framework for to...
  • AnaCon

  • Referenced in 2 articles [sw14801]
  • A framework for conflict analysis of normative texts...