CAVEAT: technique and tool for computer aided verification and transformation-Reference-Cited by-同舟云学术

CAVEAT: technique and tool for computer aided verification and transformation

Published:1995 Issue: Volume: Page:70-83
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Gribomont E. Pascal,Rossetto Didier

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-60045-0_41.pdf

Reference31 articles.

1. K.R. Apt and D.C. Kozen, Limits for Automatic Program Verification, Inform. Process. Letters 22 (1986) 307–309.

2. R.J. Back, A Method for Refining Atomicity in Parallel Algorithms, PARLE'89, Lect. Notes in Comput. Sci. 366 (1989) 199–216.

3. R.J. Back and R. Kurki-Suonio, Distributed co-operation with action systems, ACM Trans. Programming Languages Syst. 10 (1988) 513–554.

4. S. Bensalem et al., Property Preserving Abstractions for the Verification of Concurrent Systems, to appear in Formal Methods in System Design (1994).

5. W. Bibel, Deduction — Automated Logic, Academic Press, 1993.

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

1. Using BDDs with Combinations of Theories;Logic for Programming, Artificial Intelligence, and Reasoning;2002

2. Simplification of boolean verification conditions;Theoretical Computer Science;2000-05

3. System Description Using OBDD’s for the Validationof Skolem Verification Conditions;Automated Deduction — CADE-16;1999

4. Automated verification of Szymanski's algorithm;Tools and Algorithms for the Construction and Analysis of Systems;1998

5. Preprocessing for invariant validation;Algebraic Methodology and Software Technology;1996