scientific article; zbMATH DE number 795688
From MaRDI portal
Publication:4845499
zbMath0835.68076MaRDI QIDQ4845499
Kim Ritter Wagner, Claus Bendix Nielsen, Chris George, Robert Milne, Søren Prehn, Klaus Havelund, Peter Haff, Anne Elisabeth Haxthausen
Publication date: 12 September 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Related Items (13)
Refinement-oriented probability for CSP ⋮ Semantics of under-determined expressions ⋮ To every manifest domain a CSP expression -- a rôle for mereology in computer science ⋮ Connectors as designs: modeling, refinement and test case generation ⋮ Domain Endurants ⋮ Manifest domains: analysis and description ⋮ Stepwise development and model checking of a distributed interlocking system using RAISE ⋮ Towards a denotational semantics of timed RSL using duration calculus ⋮ Compositionality: Ontology and Mereology of Domains ⋮ Stepwise development and model checking of a distributed interlocking system -- using RAISE ⋮ Model Checking LTL Formulae in RAISE with FDR ⋮ HasCasl: integrated higher-order specification and program development ⋮ Classifying categories for partial equational logic
This page was built for publication:
