The enhanced HDM system for specification and verification

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback
Take a look at the new version of this page: [ beta version ]. Tell us what you think.

The enhanced HDM system for specification and verification

Full text

Pdf (235 KB)

Source

ACM SIGSOFT Software Engineering Notes archive
Volume 10 , Issue 4 (August 1985) table of contents
Proceedings of VERkshop III -- a formal verification workshop

SPECIAL ISSUE: Verification systems table of contents

Pages: 41 - 43

Year of Publication: 1985

ISSN:0163-5948

Authors

Michael Melliar-Smith	SRI International
John Rushby	SRI International

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 8, Citation Count: 1

Additional Information:

cited by collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1012497.1012511 What is a DOI?

CITED BY

Sam Owre , John Rushby , Natarajan Shankar , Friedrich von Henke, Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS, IEEE Transactions on Software Engineering, v.21 n.2, p.107-125, February 1995

Collaborative Colleagues:

Michael Melliar-Smith: colleagues

John Rushby: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player