Deductive Verification of Modular Systems-Reference-Cited by-同舟云学术

Deductive Verification of Modular Systems

Published:1998 Issue: Volume: Page:239-275
ISSN:0302-9743
Container-title:Compositionality: The Significant Difference
language:
Short-container-title:

Author:

Finkbeiner Bernd,Manna Zohar,Sipma Henny B.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-49213-5_9

Reference29 articles.

1. Lect Notes Comput Sci,1996

2. M. Abadi and L. Lamport. The existence of refinement mappings. In Proc. 3rd IEEE Symp. Logic in Comp. Sci., pages 165–175. IEEE Computer Society Press, 1988.

3. M. Abadi and L. Lamport. Conjoining specifications. Technical Report SRC-118, DEC-SRC, December 1993.

4. [BBC+95]_N.S. Bjørner, A. Browne, E.S. Chang, M. Colón, A. Kapur, Z. Manna, H.B. Sipma, and T.E. Uribe. STeP: The Stanford Temporal Prover, User’s Manual. Technical Report STAN-CS-TR-95-1562, Computer Science Department, Stanford University, November 1995.

5. Lect Notes Comput Sci;B.B.C.+.9.6._.N.S. Bjørner,1996

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

1. Towards a Logic for Inferring Properties of Event Streams;Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications;2016

2. Automated compositional proofs for real-time systems;Theoretical Computer Science;2007-05

3. Composing invariants;Science of Computer Programming;2006-05

4. An Input/Output Semantics for Distributed Program Equivalence Reasoning;Electronic Notes in Theoretical Computer Science;2005-07

5. Automated Compositional Proofs for Real-Time Systems;Fundamental Approaches to Software Engineering;2005