scientific article; zbMATH DE number 2090023

zbMath1073.68577MaRDI QIDQ4808690

Wim H. Hesselink

Publication date: 12 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2386/23860117.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

A criterion for atomicity revisited, Completeness of ASM Refinement, Universal extensions to simulate specifications, Completeness of fair ASM refinement, Splitting forward simulations to cope with liveness, Refinement verification of the lazy caching algorithm, Specification and verification of concurrent programs through refinements