The Composition of Event-B Models

DOI10.1007/978-3-540-87603-8_17zbMath1156.68360OpenAlexW2143585477MaRDI QIDQ3535377

M. Poppleton

Publication date: 11 November 2008

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

Full work available at URL: https://eprints.soton.ac.uk/266487/1/poppletonABZ2008.pdf

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)

Building Specifications in the Event-B Institution ⋮ Composing model programs for analysis

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fusion and simultaneous execution in the refinement calculus
• Stepwise refinement of communicating systems
• Tentative steps toward a development method for interfering programs
• The B-Book
• Algebraic Methodology and Software Technology
• Software Product Line Engineering

This page was built for publication: The Composition of Event-B Models