• # Z

• Referenced in 282 articles [sw10291]
• Using Z. Specification, refinement, and proof. The book is an in-depth introduction ... specification language $Z$. It is primarily directed to the user; the background theory is -- with ... integration of $Z$ with the refinement calculus and data refinement. The overall presentation is fluent ... adquate for promoting a discipline of formal specification and reasoning? Another disappointment is that...
• # RAMSES

• Referenced in 32 articles [sw18064]
• tree-based data structure allowing recursive grid refinements on a cell-by-cell basis ... dynamical tests to cosmological ones. The specific refinement strategy used in cosmological simulations is described...
• # MAGIC

• Referenced in 38 articles [sw14159]
• conformance of software components against state-machine specifications. To this aim, MAGIC extracts abstract software ... MAGIC verification engine, i.e., specification conformance using simulation and abstraction refinement. Viewing counterexamples as winning ... implementation and the specification, we describe an algorithm where abstractions are refined on the basis ... simultaneously. The refinement process is iterated until either a conformance with the specification is established...
• # Gerris

• Referenced in 313 articles [sw00341]
• linear shallow-water equations Adaptive mesh refinement: the resolution is adapted dynamically to the features ... Unlimited number of advected/diffused passive tracers Flexible specification of additional source terms Portable parallel support...
• # ProofPower

• Referenced in 57 articles [sw06339]
• Standard ML. ProofPower provides support for specification and proof in Z using a semantic embedding ... into HOL. The DAZ tool supporting refinement of Z to the SPARK subset...
• # PSI-BLAST

• Referenced in 232 articles [sw17324]
• variety of definitional, algorithmic and statistical refinements described here permits the execution time ... alignments produced by BLAST into a position-specific score matrix, and searching the database using...
• # Fiat

• Referenced in 14 articles [sw21357]
• querying a relational database. These specifications are then iteratively refined into efficient implementations via automated ... that the synthesized program meets the original specification. Code synthesized by Fiat can be extracted...
• # ImpUNITY

• Referenced in 4 articles [sw01574]
• puts special emphasis on compositional refinement of both specifications and programs. It has an associated ... temporal logic, formal refinement notions, and program transformation rules. In this paper we extend this ... modeled and used during formal program specification and refinement. We exemplify our formalism...
• # ZRC

• Referenced in 14 articles [sw21827]
• Refinement Calculus for Z. The fact that Z is a specification language only, with ... answer to that, we present ZRC, a refinement calculus based on Morgan’s work that ... conventions. This work builds upon existing refinement techniques for Z, but distinguishes itself mainly ... programs can be derived from Z specifications using ZRC. We present ZRC-L, the language...
• # qGCL

• Referenced in 26 articles [sw39240]
• refinement calculus supporting the verification and derivation of programs against their specifications. A representative selection...
• # DTRE

• Referenced in 3 articles [sw22672]
• Dtre) for the specification and verified refinement of specifications using operations on abstract data types ... centered around inductive sorts. Abstract specifications (theories) are refined in a stepwise fashion into increasingly ... more concrete theories. Our primary method of refinement is based on theory interpretation ... between types and their implementations; thus permitting specification to proceed independently of implementation while simultaneously...
• # TRIM

• Referenced in 7 articles [sw01375]
• routine forchecking refinements among TMSC specifications; and (iii) a capability for generatingdiagnostic information ... tests when one system fails to refine another...