Derivation of concurrent programs by stepwise scheduling of Event-B models

DOI10.1007/S00165-012-0260-5zbMath1342.68056OpenAlexW2037205044MaRDI QIDQ736912

Kaisa Sere, Fredrik Degerlund, Marina Waldén, Pontus Boström

Publication date: 5 August 2016

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-012-0260-5

zbMATH Keywords

schedulingconcurrencypatternsEvent-Bstepwise development

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Optimising the ProB model checker for B using partial order reduction ⋮ Kaisa Sere: in memoriam ⋮ Derivation of concurrent programs by stepwise scheduling of Event-B models

Uses Software

• Rodin
• csp2B
• Circus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Compositional action system refinement
• A refinement strategy for Circus
• Derivation of concurrent programs by stepwise scheduling of Event-B models
• An axiomatic proof technique for parallel programs
• Reasoning algebraically about loops
• Asynchronous system synthesis
• On the Purpose of Event-B Proof Obligations
• Tentative steps toward a development method for interfering programs
• Communicating sequential processes
• Refinement Calculus
• csp2B: A practical approach to combining CSP and B

This page was built for publication: Derivation of concurrent programs by stepwise scheduling of Event-B models