Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems-Reference-Cited by-同舟云学术

Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems

Published:2002 Issue: Volume: Page:360-379
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Barradas Héctor Ruíz,Bert Didier

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-47884-1_20

Reference11 articles.

1. J.-R. Abrial. The B-Book, Assigning Programs to Meanings. Cambridge University Press, 1996.

2. J.-R. Abrial. Extending B Without Changing it (for Developing Distributed Systems). In First B Conference, pages 169–190. Nantes, november 1996.

3. Lect Notes Comput Sci;J.-R. Abrial,1998

4. Krzysztof R. Apt and Ernst-Rüdiger Olderog. Verification of Sequential and Concurrent Programs. Graduate texts in computer science. Springer-Verlag, second edition edition, 1997.

5. R. J. R. Back and Q. W. Xu. Fairness in action systems. Reports on Computer Science & Mathematics 159, Åbo Akademi, 1995.

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

1. Verification of EB3 specifications using CADP;Formal Aspects of Computing;2016-03

2. Proof-based verification approaches for dynamic properties: application to the information system domain;Formal Aspects of Computing;2015-03

3. A Tool for Verifying Dynamic Properties in B;Software Engineering and Formal Methods;2014

4. Proving Reachability in B using Substitution Refinement;Electronic Notes in Theoretical Computer Science;2011-12

5. A formal approach for the development of reactive systems;Information and Software Technology;2011-01