scientific article; zbMATH DE number 2013594

zbMath1028.68539MaRDI QIDQ4436980

Christophe Darlot, Jacques Julliand, Olga Kouchnarenko

Publication date: 4 December 2003

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

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

zbMATH Keywords

B event systemsPreservation of PLTL propertiesRefinement development

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 (4)

Foundations for using linear temporal logic in Event-B refinement ⋮ Temporal-logic property preservation under Z refinement ⋮ The Composition of Event-B Models ⋮ Partitioned PLTL model-checking for refined transition systems

This page was built for publication: