The enhanced HDM system for specification and verification

Authors:
Michael Melliar-Smith;John Rushby
Affiliations:
SRI International;SRI International
Venue:
ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop
Year:
1985

Citing 0
Cited 2

Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS

IEEE Transactions on Software Engineering
A Formal Approach for the Evaluation of Network Security Mechanisms Based on RBAC Policies

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract