Practical theory extension in Event-B

DOI10.1007/978-3-642-39698-4_5MaRDI QIDQ2842627zbMATH OpenOpenAlexWikidataFDO

Authors Michael Butler

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)

Recommendations

• Developing a new language to construct algebraic hierarchies for Event-B
• Modeling numerical programs with Event-B
• Modeling in Event B. System and software engineering.
• Integration of SMT-solvers in B and Event-B development environments
• An institution for Event-B

Cites work

• scientific article; zbMATH DE number 2013582 (Why is no real title available?)
• scientific article; zbMATH DE number 2080010 (Why is no real title available?)
• Modeling in Event B. System and software engineering.

Cited in

(10)

• Developing Topology Discovery in Event-B
• Event-B refinement for continuous behaviours approximation
• Spot the difference: a detailed comparison between B and Event-B
• Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B
• Developing a new language to construct algebraic hierarchies for Event-B
• Uniform substitution for differential refinement logic
• A refinement-based formal development of cyber-physical railway signalling systems
• Empowering the Event-B method using external theories
• Reachability analysis and simulation for hybridised Event-B models
• Integration of SMT-solvers in B and Event-B development environments

Describes a project that uses

Uses Software

• LCF
• Rodin
• ML

This page was built for publication: Practical theory extension in Event-B

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