scientific article; zbMATH DE number 2079995

MaRDI QIDQ4472176zbMATH OpenFDO

Authors Neil Robinson

Publication date 3 August 2004

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

Mathematics Subject Classification ID

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

Recommendations

• Checking Z Data Refinements Using Traces Refinement
• Using the Alloy analyzer to verify data refinement in Z
• scientific article; zbMATH DE number 1305022
• scientific article; zbMATH DE number 4026807
• An efficient zooming method for finite element analysis

Cited in

(6)

• Model checking action system refinements
• Validation of formal models by refinement animation
• Using the Alloy analyzer to verify data refinement in Z
• Checking Z Data Refinements Using Traces Refinement
• Verifying data refinements using a model checker
• On using data abstractions for model checking refinements

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 Q4472176)