Slicing Object-Z Specifications for Verification-Reference-Cited by-同舟云学术

Slicing Object-Z Specifications for Verification

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

Author:

Brückner Ingo,Wehrheim Heike

Publisher

Springer Berlin Heidelberg

Link

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

Reference21 articles.

1. Brückner, I., Wehrheim, H.: Slicing Object-Z specifications for verification. Technical Report 3, SFB/TR 14 AVACS (2005), http://www.avacs.org/

2. Chang, D., Richardson, D.: Static and Dynamic Specification Slicing. In: ACM SIGSOFT international symposium on Software testing and analysis, pp. 138–153. ACM, New York (1994)

3. Clarke, E., Grumberg, O., Peled, D.: Model checking. MIT Press, Cambridge (1999)

4. Lecture Notes in Computer Science;J. Derrick,2004

5. Duke, R., Rose, G.: Formal object-oriented specification using Object-Z. Macmillan, Basingstoke (2000)

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

1. Scalable multiple-view analysis of reactive systems via bidirectional model transformations;Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering;2020-12-21

2. Metrics for quantifying evolutionary changes in Z specifications;Journal of Software: Evolution and Process;2013-04-25

3. Behavior Analysis of Software Systems Based on Petri Net Slicing;Lecture Notes in Computer Science;2012

4. Slicing of UML Models Using Model Transformations;Model Driven Engineering Languages and Systems;2010

5. Partial Order Reduction for State/Event LTL;Lecture Notes in Computer Science;2009