Slicing an integrated formal method for verification

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3785 LNCS, Issue , 2005, Pages 360-374

  Brückner, Ingo ^a   Wehrheim, Heike ^b  

^a UNIVERSITY OF OLDENBURG   (Germany)

^b UNIVERSITY OF PADERBORN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; GRAPH THEORY; INTEGRATION; SPECIFICATIONS; STATE SPACE METHODS;

FORMAL METHOD; SLICING TECHNIQUES; SYNTACTIC STRUCTURE; TEMPORAL LOGIC PROPERTIES;

DATA REDUCTION;

EID: 33646785755     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11576280_25     Document Type: Conference Paper

References (22)

1. I. Brückner and H. Wehrheim. Slicing CSP-OZ Specifications for Verification. Technical Report 7, SFB/TR 14 AVACS, http://www.avacs.org/, 2005.
2. I. Brückner and H. Wehrheim. Slicing Object-Z Specifications for Verification. In ZB 2005, volume 3455 of LNCS, pages 414-433. Springer-Verlag, 2005.
3. D. Chang and D. Richardson. Static and Dynamic Specification Slicing. In ACM SIGSOFT ISSTA, pages 138-153. ACM, 1994.
4. E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999.
5. C. Fischer. CSP-OZ: A Combination of Object-Z and CSP. In FMOODS '97, volume 2, pages 423-438. Chapman & Hall, 1997.
6. W. Grieskamp, M. Heisel, and H. Dörr. Specifying Embedded Systems with Stat-echarts and Z: An Agenda for Cyclic Software Components. In Egidio Astesiano, editor, FASE '98, volume 1382 of LNCS, pages 88-106. Springer, 1998.
7. J. Hatcliff, M. Dwyer, and H. Zheng. Slicing Software for Model Construction. Higher-order and Symbolic Computation, 13(4):315-353, 2000.
8. C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
9. J. Hoenicke and P. Maier. Model-checking specifications integrating processes, data and time. In FM 2005, volume 3582 of LNCS, pages 465-480. Springer, 2005.
10. J. Hoenicke and E.-R. Olderog. CSP-OZ-DC: A Combination of Specification Techniques for Processes, Data and Time. NJC, 9(4):301-334, 2002.
11. ISO/IEC. Enhancements to LOTOS (E-LOTOS) - International Standard 15437:2001. ISO/IEC - Information technology, 2001.
12. B. Mahony and J.S. Dong. Timed communicating Object-Z. IEE Transactions on Software Engineering, 26(2):150-177, 2000.
13. L. Millett and T. Teitelbaum. Issues in Slicing Promela and its Applications to Model Checking. Software Tools and Technology Transfer, 2(4):343-349, 2000.
14. A.W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall, 1998.
15. G. Smith. The Object-Z Specification Language. Kluwer Academic Publisher, 2000.
16. G. Smith and J. Derrick. Specification, Refinement and Verification of Concurrent Systems. Formal Methods in System Design, 18(3):249-284, 2001.
17. F. Tip. A Survey of Program Slicing Techniques. Journal of Programming Languages, 3(3):121-189, 1995.
18. H. Treharne and S.A. Schneider. Communicating B Machines. In ZB 2002, volume 2272 of LNCS, pages 416-435. Springer, 2002.
19. N. Shankar V. Ganesh, H. Saidi. Slicing SAL. Technical report, SRI International, http://theory.stanford.edu/, 1999.
20. M. Weiser. Programmers use slices when debugging. Communications of the ACM, 25(7):446-452, 1982.
21. J.C.P. Woodcock and A.L.C. Cavalcanti. The Semantics of Circus. In ZB 2002, volume 2272 of LNCS, pages 184-203. Springer-Verlag, 2002.
22. Fangjun Wu and Tong Yi. Slicing Z Specifications. SIGPLAN, 39(8):39-48, 2004.