Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms-Reference-Cited by-同舟云学术

Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms

Published:2013 Issue: Volume: Page:268-284
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Andriamiarina Manamiary Bruno,Méry Dominique,Singh Neeraj Kumar

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-38613-8_19

Reference27 articles.

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

2. Abrial, J.-R., Cansell, D., Méry, D.: A mechanically proved and incremental development of ieee 1394 tree identify protocol. Formal Asp. Comput. 14(3), 215–227 (2003)

3. Lecture Notes in Computer Science;J.-R. Abrial,2008

4. Abrial, J.-R., Mussat, L.: Introducing Dynamic Constraints in B. In: B98, pp. 83–128 (1998)

5. Andriamiarina, M.B., Daoud, H., Belarbi, M., Méry, D., Tanougast, C.: Formal Verification of Fault Tolerant NoC-based Architecture. In: First International Workshop on Mathematics and Computer Science (IWMCS 2012), Tiaret, Algérie (December 2012)

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

1. Formal domain-driven system development in Event-B: Application to interactive critical systems;Journal of Systems Architecture;2023-02

2. Event-B Hybridation;ACM Transactions on Embedded Computing Systems;2021-06

3. Playing with State-Based Models for Designing Better Algorithms;Model and Data Engineering;2014

4. Analysis of Self-⋆ and P2P Systems Using Refinement;Lecture Notes in Computer Science;2014