scientific article; zbMATH DE number 2086961

zbMATH Open1057.68070MaRDI QIDQ4737571FDOQ4737571

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

Title of this publication is not available (Why is that?)

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

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)

Cited In (9)

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

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)