Specification transformers: a predicate transformer approach to composition

DOI10.1007/S00236-003-0130-YMaRDI QIDQ1882676zbMATH OpenOpenAlexFDO

Authors Michel Charpentier, K. Mani Chandy

Publication date 1 October 2004

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00236-003-0130-y

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Publication:4536450
• Publication:4738308
• Publication:2721100
• A compositional specification theory for component behaviours
• An experiment in program composition and proof

Cited in

(8)

• Predicate transformers in the context of symbolic modeling of transition systems
• scientific article; zbMATH DE number 1612492 (Why is no real title available?)
• scientific article; zbMATH DE number 2087508 (Why is no real title available?)
• An experiment in program composition and proof
• A predicate transformer for the progress property `to-always'
• Properties of a predicate transformer of the VRS system
• scientific article; zbMATH DE number 1759496 (Why is no real title available?)
• Towards compositional feedback in non-deterministic and non-input-receptive systems

This page was built for publication: Specification transformers: a predicate transformer approach to composition

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