• Alcoa

  • Referenced in 28 articles [sw09481]
  • language, Alloy, is a new notation based on Z. Its development was motivated ... need for a notation that is more closely tailored to object models (in the style ... more amenable to automatic analysis. Like Z, Alloy supports the description of systems whose state...
  • ClawZ

  • Referenced in 14 articles [sw06340]
  • expressing control law models and the Z notation. The first version of ClawZ was developed...
  • ZRC

  • Referenced in 14 articles [sw21827]
  • Morgan’s work that incorporates the Z notation and follows its style and conventions. This ... work builds upon existing refinement techniques for Z, but distinguishes itself mainly in that...
  • Z2sal

  • Referenced in 6 articles [sw07087]
  • with providing tool support for the Z Notation, a widely-used formal specification language...
  • OOZE

  • Referenced in 3 articles [sw09494]
  • language that builds on the notation and style of Z. OOZE supports requirements, specifications, interpretable...
  • CLPS-B

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

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • gmp

  • Referenced in 282 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • Isabelle

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

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • R

  • Referenced in 9969 articles [sw00771]
  • R is a language and environment for statistical...
  • ML

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

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

  • Referenced in 14 articles [sw01812]
  • ArcAngel: a tactic language for refinement. Morgan’s...
  • LARCH

  • Referenced in 104 articles [sw02126]
  • The Larch family of languages supports a two...
  • CASL

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

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