Towards Modelling Obligations in Event-B

DOI10.1007/978-3-540-87603-8_15zbMATH Open1156.68342OpenAlexW1558655062MaRDI QIDQ3535374FDOQ3535374

Authors: Alvaro E. Arenas, Benjamin Aziz, Philippe Massonet, Christophe Ponsard, J. Bicarregui 

Publication date: 11 November 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://researchportal.port.ac.uk/portal/en/publications/towards-modelling-obligations-in-eventb(7cf45600-1a9a-4987-a98a-762c9a397f5a).html

Recommendations

• On the Purpose of Event-B Proof Obligations
• On the purpose of Event-B proof obligations
• Qualitative Probabilistic Modelling in Event-B
• The behavioural semantics of Event-B refinement
• scientific article; zbMATH DE number 2227867

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Temporal Reasoning over Deontic Specifications
• Title not available (Why is that?)
• Proof rules and transformations dealing with fairness
• Title not available (Why is that?)
• Theoretical Aspects of Computing - ICTAC 2004

Cited In (5)

• On the purpose of Event-B proof obligations
• Title not available (Why is that?)
• Specification of a localization component driven by a goal-based approach: some lessons we learned
• Foundations for using linear temporal logic in Event-B refinement
• On the Purpose of Event-B Proof Obligations

This page was built for publication: Towards Modelling Obligations in Event-B

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