Preserving properties under change

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

Volumn 3188, Issue , 2004, Pages 330-343

  Wehrheim, Heike ^a  

^a UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS;

OBJECT Z; PROGRAM ANALYSIS; PROGRAM DEPENDENCE GRAPH; TEMPORAL LOGIC FORMULA; TEMPORAL LOGIC PROPERTIES;

TEMPORAL LOGIC;

EID: 24644468177     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30101-1_16     Document Type: Article

References (16)

1. E. Clarke, O. Grumberg, and D. Peled. Model checking. MIT Press, 1999.
2. R. Duke, G. Rose, and G. Smith. Object-Z: A specification language advocated for the description of standards. Computer Standards and Interfaces, 17:511-533, 1995.
3. C. Fischer. CSP-OZ: A combination of Object-Z and CSP. In H. Bowman and J. Derrick, editors, Formal Methods for Open Object-Based Distributed Systems (FMOODS '97), volume 2, pages 423-438. Chapman & Hall, 1997.
4. J. Hatcliff, M. Dwyer, and H. Zheng. Slicing software for model construction. Higher-order and Symbolic Computation. To appear.
5. K. Huizing and R. Kuiper. Reinforcing fragile base classes. In A. Poetzsch-Heffter, editor, Workshop on Formal Techniques for Java Programs, ECOOP 2001, 2001.
6. G.T. Leavens and W.E. Weihl. Specification and verification of object-oriented programs using supertype abstraction. Acta Informatica, 32:705-778, 1995.
7. B. Liskov and J. Wing. A behavioural notion of subtyping. ACM Transactions on Programming Languages and Systems, 16(6):1811-1841, 1994.
8. Z. Manna and A. Pnueli. The temporal logic of reactive and concurrent systems (Specification). 1991.
9. L. Millett and T. Teitelbaum. Issues in slicing promela and its applications to model checking, protocol understanding, and simulation. Software Tools for Technology Transfer, 2(4):343-349, 2000.
10. A. Poetzsch-Heffter and J. Meyer. Interactive verification environments for objectoriented languages. Journal of Universal Computer Science, 5(3):208-225, 1999.
11. G. Smith. The Object-Z Specification Language. Kluwer Academic Publisher, 2000.
12. G. Smith and K. Winter. Proving Temporal Properties of Z Specifications Using Abstraction. In D. Bert, J.P. Bowen, S. King, and M. Walden, editors, ZB 2003: Formal Specification and Development in Z and B, number 2651 in LNCS, pages 260-279. Springer, 2003.
13. F. Tip. A survey of program slicing techniques. Journal of programming languages, 3(3), 1995.
14. H. Wehrheim. Behavioural subtyping and property preservation. In S. Smith and C. Talcott, editors, FMOODS'00: Formal Methods for Open Object-Based Distributed Systems. Kluwer, 2000.
15. H. Wehrheim. Inheritance of temporal logic properties. In P. Stevens and U. Nestmann, editors, FMOODS 8003: Formal Methods for Open Object-based Distributed Systems, volume 2884 of LNCS, pages 79-93. Springer, 2003.
16. K. Winter and G. Smith. Compositional Verification for Object-Z. In D. Bert, J.P. Bowen, S. King, and M. Waiden, editors, ZB 2003: Formal Specification and Development in Z and B, number 2651 in LNCS, pages 280-299. Springer, 2003.