scientific article; zbMATH DE number 2013595

MaRDI QIDQ4436981zbMATH OpenFDO

Authors Marc Frappier, Régine Laleau

Publication date 4 December 2003

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

zbMATH Keywords

BEprocess algebrarefinementtrace-based specifications

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2086961
• Verification of \(\mathrm{EB}^3\) specifications using CADP
• An institution for Event-B
• Proof-based verification approaches for dynamic properties: application to the information system domain
• scientific article; zbMATH DE number 1303986

Describes a project that uses

Uses Software

• csp2B
• LOTOS

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