scientific article; zbMATH DE number 2086961

MaRDI QIDQ4737571zbMATHzbMATHFDO

Authors Héctor Ruíz Barradas, Didier Bert

Publication date 11 August 2004

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 2080016
• A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions
• Foundations for using linear temporal logic in Event-B refinement
• scientific article; zbMATH DE number 140260
• scientific article; zbMATH DE number 1863165

Cited in

(9)

• Towards Modelling Obligations in Event-B
• A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions
• Verification of \(\mathrm{EB}^3\) specifications using CADP
• scientific article; zbMATH DE number 2013595 (Why is no real title available?)
• Ensuring liveness properties of distributed systems: open problems
• scientific article; zbMATH DE number 2080016 (Why is no real title available?)
• Proof-based verification approaches for dynamic properties: application to the information system domain
• Proving liveness property under strengthened compassion requirements
• Liveness properties in CafeOBJ -- a case study for meta-level specifications

Describes a project that uses

Uses Software

• ProB

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