Correctness by Construction: Towards Verification in Hierarchical System Development-Reference-Cited by-同舟云学术

Correctness by Construction: Towards Verification in Hierarchical System Development

Published:2000 Issue: Volume: Page:163-180
ISSN:0302-9743
Container-title:SPIN Model Checking and Software Verification
language:
Short-container-title:

Author:

Majster-Cederbaum Mila,Salger Frank

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/10722468_10

Reference35 articles.

1. Attie, P.C., Emerson, E.A.: Synthesis of concurrent systems with many similar sequential processes (extended abstract). In: ACM (ed.) POPL 1989. Proceedings of the sixteenth annual ACM symposium on Principles of programming languages, Austin, TX, January 11-13, pp. 191–201. ACM Press, New York (1989)

2. Lecture Notes in Computer Science;L. Aceto,1991

3. Lecture Notes in Computer Science;R. Alur,1998

4. Lecture Notes in Computer Science,1990

5. Lecture Notes in Computer Science;S. Bensalem,1998

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

1. Adding Action Refinement to Stochastic True Concurrency Models;Formal Methods and Software Engineering;2003

2. Combining Hierarchical Specification with Hierarchical Implementation;Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation;2003

3. Action Refinement from a Logical Point of View;Lecture Notes in Computer Science;2002-12-16

4. Refinement of Actions in a Real-Time Process Algebra with a True Concurrency Model;Electronic Notes in Theoretical Computer Science;2002-11

5. Action Refinement for Probabilistic Processes with True Concurrency Models;Lecture Notes in Computer Science;2002