Practical Theory Extension in Event-B

DOI10.1007/978-3-642-39698-4_5zbMath1390.68178OpenAlexW1757522552WikidataQ59625844 ScholiaQ59625844MaRDI QIDQ2842627

No author found.

Publication date: 16 August 2013

Published in: Theories of Programming and Formal Methods (Search for Journal in Brave)

Full work available at URL: https://eprints.soton.ac.uk/354288/1/paper_19-1.pdf

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B ⋮ Event-B refinement for continuous behaviours approximation ⋮ Empowering the Event-B method using external theories ⋮ Reachability analysis and simulation for hybridised Event-B models ⋮ Spot the difference: a detailed comparison between B and Event-B

Uses Software

• ML
• Rodin
• LCF

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Practical Theory Extension in Event-B