• PVS

  • Referenced in 624 articles [sw03484]
  • verification system: that is, a specification language integrated with support tools and a theorem prover...
  • Z

  • Referenced in 278 articles [sw10291]
  • depth introduction to the specification language $Z$. It is primarily directed to the user ... adquate for promoting a discipline of formal specification and reasoning? Another disappointment is that...
  • Maude

  • Referenced in 670 articles [sw06233]
  • performance reflective language and system supporting both equational and rewriting logic specification and programming ... language, which can be regarded as an equational logic sublanguage. Besides supporting equational specification...
  • JML

  • Referenced in 188 articles [sw04597]
  • Language (JML) is a behavioral interface specification language that can be used to specify ... approach of Eiffel and the model-based specification approach ... Larch family of interface specification languages, with some elements of the refinement calculus...
  • CASL

  • Referenced in 173 articles [sw02235]
  • specification language developed by CoFI is called Casl: the Common Algebraic Specification Language. Its main...
  • LOTOS

  • Referenced in 152 articles [sw02961]
  • Introduction to the ISO specification language LOTOS. LOTOS is a specification language that has been...
  • UNITY

  • Referenced in 185 articles [sw13461]
  • evaluate UNITY -- a computational model, specification language and proof system defined by Chandy and Misra ... programs -- as a platform for simulation model specification and analysis. We describe a UNITY-based...
  • LARCH

  • Referenced in 103 articles [sw02126]
  • style of specification. Each specification has components written in two languages ... language that is designed for a specific programming language and another language that is independent ... precise about communication when the interface specification language reflects the programming language. Each interface language ... specify interfaces between programs in different languages. Interface specifications rely on definitions from auxiliary specifications...
  • Bandera

  • Referenced in 134 articles [sw07663]
  • requirement formalized in Bandera’s temporal specification language, and it generates a program model ... specification in the input language of one of several existing model-checking tools (including Spin...
  • Macaulay2

  • Referenced in 1721 articles [sw00537]
  • through a versatile high level interpreted user language with a powerful debugger supporting the creation ... installation of methods for computing specifically with them. Macaulay2 can compute Betti numbers, Ext, cohomology...
  • LISP

  • Referenced in 126 articles [sw07201]
  • Processing”. Linked lists are one of Lisp language’s major data structures, and Lisp source ... syntax or even new domain-specific languages embedded in Lisp. The interchangeability of code...
  • UFL

  • Referenced in 59 articles [sw11183]
  • Unified form language: a domain-specific language for weak formulations of partial differential equations ... Language (UFL), which is a domain-specific language for representing weak formulations of partial differential...
  • Why3

  • Referenced in 130 articles [sw04438]
  • program verification. It provides a rich language for specification and programming, called WhyML, and relies ... WhyML is also used as an intermediate language for the verification of C, Java...
  • PROGRES

  • Referenced in 70 articles [sw02905]
  • multi-paradigm visual programming or executable specification language, which has a well-defined static type ... check the static semantics of a specification. This paper presents the integration of static ... integrity constraints to the language which allow to check a specification’s semantics at runtime...
  • MCMAS

  • Referenced in 72 articles [sw09463]
  • high-level agents attitudes. In particular, specification languages based on epistemic logic [7], or logics ... protocols, web-services, etc. For example, security specifications involving anonymity [4] are known...
  • NAG

  • Referenced in 419 articles [sw00610]
  • many programming languages and for many platforms and operating systems. For more specific product information...
  • CESAR

  • Referenced in 159 articles [sw08510]
  • high level language inspired from CSP and specifications are a set of formulas...
  • AsmL

  • Referenced in 42 articles [sw11363]
  • AsmL is an industrial-strength executable specification language. It can be used at any stage ... Word for literate specifications. AsmL is the Abstract State Machine Language. The FSE group ... develops AsmL. It is an executable specification language based on the theory of Abstract State ... Word for literate specifications. It is fully interoperable with other .NET languages. AsmL generates...
  • Hets

  • Referenced in 59 articles [sw07017]
  • tool incorporating various provers and different specification languages, thus providing a tool for heterogeneous specifications...
  • Dafny

  • Referenced in 66 articles [sw00183]
  • imperative object-based language with built-in specification constructs. The Dafny static program verifier ... functional correctness of programs.The Dafny programming language is designed to support the static verification ... allocation, and inductive datatypes, and builds in specification constructs. The specifications include pre- and postconditions ... termination metrics. To further support specifications, the language also offers updatable ghost variables, recursive functions...