Towards Modelling Obligations in Event-B

DOI10.1007/978-3-540-87603-8_15zbMath1156.68342OpenAlexW1558655062MaRDI QIDQ3535374

Alvaro E. Arenas, Philippe Massonet, Christophe Ponsard, Benjamin Aziz, J. C. 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

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

Related Items (2)

Foundations for using linear temporal logic in Event-B refinement ⋮ Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof rules and transformations dealing with fairness
• Temporal Reasoning over Deontic Specifications
• Theoretical Aspects of Computing - ICTAC 2004

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