Slicing concurrent real-time system specifications for verification

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

Volumn 4591 LNCS, Issue , 2007, Pages 54-74

  Brückner, Ingo ^a  

^a UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; CONCURRENT ENGINEERING; GRAPH THEORY; SEMANTICS; VERIFICATION;

ADEQUATE NOTATIONS; CONTROL FLOW; DEPENDENCIES;

REAL TIME SYSTEMS;

EID: 38149021402     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73210-5_4     Document Type: Conference Paper

References (28)

1. Brückner, I.: Slicing CSP-OZ-DC Specifications for Verification. Technical report, Univ. Oldenburg (2007) http://csd.informatik.uni-oldenburg.de/ ~ingo/ifm07.pdf
2. Brückner, I., Dräger, K., Finkbeiner, B., Wehrheim, H.: Slicing Abstractions. In: FSEN'07. LNCS, Springer, Heidelberg (to appear, 2007)
3. Brückner, I., Wehrheim, H.: Slicing an Integrated Formal Method for Verification. In: Lau, K.-K., Banach, R. (eds.) ICFEM 2005. LNCS, vol. 3785, pp. 360-374. Springer, Heidelberg (2005)
4. Brückner, I., Wehrheim, H.: Slicing Object-Z Specifications for Verification. In: Trename, H., King, S., Henson, M.C., Schneider, S. (eds.) ZB 2005. LNCS, vol. 3455, pp. 414-433. Springer, Heidelberg (2005)
5. Chang, D., Richardson, D.: Static and Dynamic Specification Slicing. In: SIGSOFT ISSTA, pp. 138-153. ACM Press, New York (1994)
6. Clarke, E.M., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-Guided Abstraction Refinement. In: CAV'00, pp. 154-169 (2000)
7. Dwyer, M.B., Hatcliff, J., Hoosier, M., Ranganath, V., Wallentine, R., Wallen-tine, T.: Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006 and ETAPS 2006. LNCS, vol. 3920, Springer, Heidelberg (2006)
8. Faber, J., Meyer, R.: Model Checking Data-Dependent Real-Time Properties of the European Train Control System. In: FMCAD'06, pp. 76-77. IEEE Computer Society Press, Los Alamitos (2006)
9. Hansen, M.R., Chaochen, Z.: Duration Calculus: Logical Foundations. Formal Aspects of Computing 9, 283-330 (1997)
10. Hatcliff, J., Dwyer, M., Zheng, H.: Slicing Software for Model Construction. Higher-order and Symbolic Computation 13(4), 315-353 (2000)
11. Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)
12. Hoenicke, J.: Combination of Processes, Data, and Time. PhD thesis, Univ. of Oldenburg (2006)
13. Hoenicke, J., Maier, P.: Model-checking specifications integrating processes, data and time. In: Fitzgerald, J.A., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol. 3582, pp. 465-480. Springer, Heidelberg (2005)
14. Janowska, A., Janowski, P.: Slicing Timed Systems. Fundamenta Informaticae 60(1-4), 187-210 (2004)
15. Mahony, B., Dong, J.S.: Timed communicating Object-Z. IEEE Transactions on Software Engineering 26(2), 150-177 (2000)
16. Meyer, R., Faber, J., Rybalchenko, A.: Model Checking Duration Calculus: A Practical Approach. In: Barkaoui, K., Cavalcanti, A., Cerone, A. (eds.) ICTAC 2006. LNCS, vol. 4281, pp. 332-346. Springer, Heidelberg (2006)
17. Millett, L., Teitelbaum, T.: Issues in Slicing Promela and its Applications to Model Checking. STTT 2(4), 343-349 (2000)
18. Peled, D.A.: Ten years of partial order reduction. In: Vardi, M.Y. (ed.) CAV 1998. LNCS, vol. 1427, pp. 17-28. Springer, Heidelberg (1998)
19. Podelski, A., Rybalchenko, A.: ARMC: the logical choice for software model checking with abstraction refinement. In: Hanus, M. (ed.) PADL 2007. LNCS, vol. 4354, Springer, Heidelberg (2006)
20. Smith, G.: The Object-Z Specification Language. Kluwer Academic Publishers, Dordrecht (2000)
21. Smith, G., Hayes, I.J.: An introduction to Real-Time Object-Z. Formal Aspects of Computing 13(2), 128-141 (2002)
22. Syspect. Endbericht der Projektgruppe Syspect. Technical report, Univ. of Oldenburg (2006) http://syspect.informatik.uni-oldenburg.de/
23. Tip, F.: A Survey of Program Slicing Techniques. Journal of Programming Languages 3(3), 121-189 (1995)
24. Treharne, H., Schneider, S.A.: Communicating B Machines. In: Bert, D., Bowen, J.P., Henson, M.C., Robinson, K. (eds.) B 2002 and ZB 2002. LNCS, vol. 2272, pp. 416-435. Springer, Heidelberg (2002)
25. Weiser, M.: Programmers use slices when debugging. Communications of the ACM 25(7), 446-452 (1982)
26. Woodcock, J.C.P., Cavalcanti, A.L.C.: The Semantics of Circus. In: Bert, D., Bowen, J.P., Henson, M.C., Robinson, K. (eds.) B 2002 and ZB 2002. LNCS, vol. 2272, pp. 184-203. Springer, Heidelberg (2002)
27. Wu, F., Yi, T.: Slicing Z Specifications. SIGPLAN 39(8), 39-48 (2004)
28. Xu, B., Qian, J., Zhang, X., Wu, Z., Chen, L.: A brief survey of program slicing. SIGSOFT SEN 30(2), 1-36 (2005)