Proof-based verification approaches for dynamic properties: application to the information system domain

DOI10.1007/S00165-014-0323-XMaRDI QIDQ2355384zbMATH OpenOpenAlexFDO

Authors Amel Mammar, Marc Frappier

Publication date 23 July 2015

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-014-0323-x

zbMATH Keywords

\(\mathbf{B}\) formal methoddynamic propertiesproofproperty patterns

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1693540
• scientific article; zbMATH DE number 1615249
• Proving properties of dynamic process networks
• scientific article; zbMATH DE number 1487729
• Automated Technology for Verification and Analysis

Cites work

• A compositional approach to CTL^* verification
• An axiomatic proof technique for parallel programs
• Decision procedures and expressiveness in the temporal logic of branching time
• scientific article; zbMATH DE number 605806 (Why is no real title available?)
• scientific article; zbMATH DE number 1927551 (Why is no real title available?)
• scientific article; zbMATH DE number 2086961 (Why is no real title available?)
• scientific article; zbMATH DE number 2102731 (Why is no real title available?)
• Modeling in Event B. System and software engineering.
• Proving Liveness Properties of Concurrent Programs
• Set theory. An introduction to independence proofs
• Temporal verification of reactive systems: response

Cited in

(4)

• A verification and deployment approach for elastic component-based applications
• scientific article; zbMATH DE number 1615249 (Why is no real title available?)
• Verification of \(\mathrm{EB}^3\) specifications using CADP
• scientific article; zbMATH DE number 2013595 (Why is no real title available?)

Describes a project that uses

Uses Software

• Rodin
• ProB
• NuSMV

This page was built for publication: Proof-based verification approaches for dynamic properties: application to the information system domain

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