GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties-Reference-Cited by-同舟云学术

GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties

Published:2005 Issue: Volume: Page:299-318
ISSN:0302-9743
Container-title:ZB 2005: Formal Specification and Development in Z and B
language:
Short-container-title:

Author:

Bert Didier,Potet Marie-Laure,Stouls Nicolas

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11415787_18.pdf

Reference23 articles.

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

2. Abrial, J.-R.: Extending B without Changing it (for Developing Distributed Systems). In: Habrias, H. (ed.) First B conference, Putting into Practice Methods and Tools for Information System Design, IRIN, pp. 169–191 (1996)

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

4. Ambert, F., Bouquet, F., Chemin, S., Guenaud, S., Legeard, B., Peureux, F., Utting, M., Vacelet, N.: BZ-testing tools: A tool-set for test generation from Z and B using constraint logic programming. In: Formal Approaches to Testing of Software (FATES 2002), pp. 105–120. INRIA (2002)

5. Lecture Notes in Computer Science;D. Bert,2000

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

1. Validation by Abstraction and Refinement;Rigorous State-Based Methods;2023

2. Using Event B to Specify Context Awareness for Service Discovery in Pervasive Environments;International Journal of Ambient Computing and Intelligence;2017-01

3. Enabling Analysis for Event-B;Lecture Notes in Computer Science;2016

4. Validation of the ABZ landing gear system using ProB;International Journal on Software Tools for Technology Transfer;2015-08-15

5. When a Formal Model Rhymes with a Graphical Notation;Software Engineering and Formal Methods;2015