skip to main content
article
Free access

The enhanced HDM system for specification and verification

Published: 01 August 1985 Publication History
First page of PDF

Cited By

View all

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes  Volume 10, Issue 4
Proceedings of VERkshop III -- a formal verification workshop
August 1985
135 pages
ISSN:0163-5948
DOI:10.1145/1012497
Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 August 1985
Published in SIGSOFT Volume 10, Issue 4

Check for updates

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)52
  • Downloads (Last 6 weeks)5
Reflects downloads up to 16 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2014)History of Interactive Theorem ProvingComputational Logic10.1016/B978-0-444-51624-4.50004-6(135-214)Online publication date: 2014
  • (2011)Behavioural Preservation in Fault Tolerant PatternsProceedings of the 14th Brazilian Symposium on Formal Methods, Foundations and Applications - Volume 702110.5555/3090184.3090187(156-171)Online publication date: 26-Sep-2011
  • (2011)Behavioural Preservation in Fault Tolerant PatternsFormal Methods, Foundations and Applications10.1007/978-3-642-25032-3_11(156-171)Online publication date: 2011
  • (2007)Set theory, higher order logic or both?Theorem Proving in Higher Order Logics10.1007/BFb0105405(191-201)Online publication date: 29-Apr-2007
  • (2005)A Formal Approach for the Evaluation of Network Security Mechanisms Based on RBAC PoliciesElectronic Notes in Theoretical Computer Science (ENTCS)10.5555/2773799.2773930121:C(117-142)Online publication date: 4-Feb-2005
  • (2005)A Formal Approach for the Evaluation of Network Security Mechanisms Based on RBAC PoliciesElectronic Notes in Theoretical Computer Science10.1016/j.entcs.2004.10.011121(117-142)Online publication date: Feb-2005
  • (2005)Experiments with ZF set theory in HOL and IsabelleHigher Order Logic Theorem Proving and Its Applications10.1007/3-540-60275-5_55(32-45)Online publication date: 2-Jun-2005
  • (1995)Formal Verification for Fault-Tolerant ArchitecturesIEEE Transactions on Software Engineering10.1109/32.34582721:2(107-125)Online publication date: 1-Feb-1995

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media