Testing and Verifying Invariant Based Programs in the SOCOS Environment-Reference-Cited by-同舟云学术

Testing and Verifying Invariant Based Programs in the SOCOS Environment

Published: Issue: Volume: Page:61-78
ISSN:0302-9743
Container-title:Tests and Proofs
language:
Short-container-title:

Author:

Back Ralph-Johan,Eriksson Johannes,Myreen Magnus

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-73770-4_4.pdf

Reference22 articles.

1. Lecture Notes in Computer Science;R.J. Back,2006

2. Back, R.J.: Invariant based programs and their correctness. In: Biermann, W., Guiho, G., Kodratoff, Y. (eds.) Automatic Program Construction Techniques, pp. 223–242. MacMillan Publishing Company, NYC (1983)

3. Back, R.J., Myreen, M.: Tool support for invariant based programming. In: The 12th Asia-Pacific Software Engineering Conference, Taipei, Taiwan (December 2005)

4. Lecture Notes in Computer Science;R.J. Back,2005

5. NATO Science Series II: Mathematics, Physics and Chemistry;R.J. Back,2005

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

1. VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction;Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops;2023

2. Traits: Correctness-by-Construction for Free;Formal Techniques for Distributed Objects, Components, and Systems;2022

3. Information Flow Control-by-Construction for an Object-Oriented Language;Software Engineering and Formal Methods;2022

4. Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY;The Logic of Software. A Tasting Menu of Formal Methods;2022

5. Teaching Correctness-by-Construction and Post-hoc Verification – The Online Experience;Formal Methods Teaching;2021