scientific article
From MaRDI portal
Publication:2763965
zbMath0977.68672MaRDI QIDQ2763965
Andrew O. Currie, Michael Leuschel, Thierry Massart
Publication date: 22 January 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2021/20210099
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Abstract data types; algebraic specification (68Q65)
Related Items (11)
Verification of \(\mathrm{EB}^3\) specifications using CADP ⋮ Verifying data refinements using a model checker ⋮ Temporal-logic property preservation under Z refinement ⋮ On the limits of refinement-testing for model-checking CSP ⋮ Unnamed Item ⋮ Specification of communicating processes: temporal logic versus refusals-based refinement ⋮ Unnamed Item ⋮ Integrating a formal method into a software engineering process with UML and Java ⋮ Property specifications for workflow modelling ⋮ Model Checking LTL Formulae in RAISE with FDR ⋮ Timed CSP = Closed Timed Automata1
This page was built for publication:
