Validation by Abstraction and Refinement-Reference-Cited by-同舟云学术

Validation by Abstraction and Refinement

Published:2023 Issue: Volume: Page:160-178
ISSN:0302-9743
Container-title:Rigorous State-Based Methods
language:
Short-container-title:

Author:

Stock Sebastian^ORCID,Vu Fabian^ORCID,Geleßus David^ORCID,Leuschel Michael^ORCID,Mashkoor Atif^ORCID,Egyed Alexander^ORCID

Publisher

Springer Nature Switzerland

Link

https://link.springer.com/content/pdf/10.1007/978-3-031-33163-3_12

Reference31 articles.

1. Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)

2. Abrial, J.R., Butler, M.J., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in Event-B. Int. J. Softw. Tools Technol. Transf. 12(6), 447–466 (2010). https://doi.org/10.1007/s10009-010-0145-y

3. Abrial, J.R., Hallerstede, S.: Refinement, decomposition, and instantiation of discrete models: application to Event-B. Fund. Inform. 77(1–2), 1–28 (2007)

4. Banach, R.: Graded refinement, retrenchment and simulation. ACM Trans. Softw. Eng. Methodol. (2022). https://doi.org/10.1145/3534116

5. Lecture Notes in Computer Science;R Banach,2005

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Trace preservation in B and Event-B refinements;Journal of Logical and Algebraic Methods in Programming;2024-02

2. A Formal Model of Train Control with AI-Based Obstacle Detection;Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification;2023

3. Early and Systematic Validation of Formal Models;Formal Methods and Software Engineering;2023

4. Validation-Driven Development;Formal Methods and Software Engineering;2023

5. Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations;Rigorous State-Based Methods;2023