• CLPS-B

  • Referenced in 7 articles [sw00132]
  • This paper proposes an approach to the evaluation...
  • nauty

  • Referenced in 549 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • TopSpin

  • Referenced in 12 articles [sw00972]
  • Automatic Symmetry Reduction for the SPIN Model Checker...
  • ML

  • Referenced in 512 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • GeneSyst

  • Referenced in 5 articles [sw01303]
  • GeneSyst: A tool to reason about behavioral aspects...
  • CoreASM

  • Referenced in 14 articles [sw01936]
  • CoreASM plug-in architecture. Abstract State Machines are...
  • SPIN

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

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

  • Referenced in 113 articles [sw06799]
  • Oz is a high-level programming language combining...
  • Rodin

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

  • Referenced in 62 articles [sw07084]
  • ProB: an automated analysis toolset for the B...
  • B4Free

  • Referenced in 6 articles [sw07085]
  • Academic tool enabling the operational use of formal...
  • Z2sal

  • Referenced in 6 articles [sw07087]
  • Z2sal: a translation-based model checker for z...
  • Kodkod

  • Referenced in 23 articles [sw07090]
  • Kodkod: A relational model finder. The key design...
  • SymmSpin

  • Referenced in 21 articles [sw07517]
  • Symmetric Spin We give a detailed description of...
  • PROMELA

  • Referenced in 30 articles [sw07635]
  • Outline for an operational semantics of PROMELA. PROMELA...
  • jSpin

  • Referenced in 17 articles [sw07638]
  • jSpin is a graphical user interface for the...
  • Bandera

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