scientific article; zbMATH DE number 2013587

zbMath1028.68553MaRDI QIDQ4436972

Graeme Smith, Kirsten Winter

Publication date: 4 December 2003

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (5)

Verifying data refinements using a model checker ⋮ Property transformation under specification change ⋮ Temporal-logic property preservation under Z refinement ⋮ Checking Z Data Refinements Using Traces Refinement ⋮ Slicing techniques for verification re-use

Uses Software

• Z/EVES

This page was built for publication: