Towards Modelling Obligations in Event-B

DOI10.1007/978-3-540-87603-8_15MaRDI QIDQ3535374zbMATH OpenOpenAlexFDO

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

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

• 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

Cites work

• scientific article; zbMATH DE number 1001709 (Why is no real title available?)
• scientific article; zbMATH DE number 1949600 (Why is no real title available?)
• scientific article; zbMATH DE number 1759984 (Why is no real title available?)
• scientific article; zbMATH DE number 2086961 (Why is no real title available?)
• Proof rules and transformations dealing with fairness
• Temporal Reasoning over Deontic Specifications
• Theoretical Aspects of Computing - ICTAC 2004

Cited in

(5)

• On the purpose of Event-B proof obligations
• scientific article; zbMATH DE number 2080689 (Why is no real title available?)
• 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)