scientific article; zbMATH DE number 1696757

MaRDI QIDQ2767006zbMATHFDO

Authors Wolfgang Grieskamp, M. Lepper

Publication date 30 June 2002

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Recommendations

• An overview of the integrated formalism RT-Z
• MetateM: An introduction
• Executable temporal logic systems
• Temporal-logic property preservation under Z refinement
• Temporal logic in specification. Altrincham, UK, April 8-10, 1987. Proceedings

Cited in

(1)

• Algebraic Methodology and Software Technology

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