Qualitative Probabilistic Modelling in Event-B

DOI10.1007/978-3-540-73210-5_16zbMATH Open1213.68205OpenAlexW1544057077MaRDI QIDQ3608889FDOQ3608889

Authors Stefan Hallerstede, Thai Son Hoang 

Publication date 6 March 2009

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

Full work available at URL https://doi.org/10.1007/978-3-540-73210-5_16

Mathematics Subject Classification ID

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

Recommendations

• ZB 2005: Formal Specification and Development in Z and B
• A probabilistic extension of UML-B
• Proving Quicksort Correct in Event-B
• Experiments in program verification using Event-B
• On the Purpose of Event-B Proof Obligations

Cited in

(9)

• On the purpose of Event-B proof obligations
• Title not available (Why is no real title available?)
• Towards Modelling Obligations in Event-B
• Experiments in program verification using Event-B
• ZB 2005: Formal Specification and Development in Z and B
• Integrating stochastic reasoning into Event-B development
• A probabilistic extension of UML-B
• External and internal choice with event groups in Event-B
• On the Purpose of Event-B Proof Obligations

This page was built for publication: Qualitative Probabilistic Modelling in Event-B

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