scientific article; zbMATH DE number 2013588

MaRDI QIDQ4436973zbMATH OpenFDO

Authors Kirsten Winter, Graeme Smith

Publication date 4 December 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2651/26510280.htm

Mathematics Subject Classification ID

Temporal logic (03B44) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 860045
• Specification, refinement and verification of concurrent systems -- an integration of Object-\(Z\) and \(CSP\)
• scientific article; zbMATH DE number 2079811
• scientific article; zbMATH DE number 1512628
• scientific article; zbMATH DE number 2013587

Cited in

(7)

• Constructive consistency checking for partial specification in Z
• Slicing techniques for verification re-use
• A basic calculus for verifying properties of interacting objects
• A compositional trace logic for behavioural interface specifications
• Decomposing Integrated Specifications for Verification
• scientific article; zbMATH DE number 2013587 (Why is no real title available?)
• FM 2005: Formal Methods

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4436973)