Hierarchical Verification Using Verification Diagrams

Authors:
Anca Browne;Zohar Manna;Henny Sipma
Affiliations:
-;-;-
Venue:
ASIAN '96 Proceedings of the Second Asian Computing Science Conference on Concurrency and Parallelism, Programming, Networking, and Security
Year:
1996

Deductive Model Checking

Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
Visual Abstractions for Temporal Verification

AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Deductive Verification of Modular Systems

COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Verification of Parameterized Systems by Dynamic Induction on Diagrams

CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification

Hi-index	0.00