skip to main content
article
Free access

Overview of verification systems

Published: 01 August 1985 Publication History

Abstract

No abstract available.

References

[1]
[fr1] Proofs as Programs, Joseph L. Bates and Robert L. Constable. TOPLAS, 7(1), January 1985.
[2]
[fr2] Mthematical Logic and Programming Languages, C. A. R. Hoare and J. C. Shepardson, eds. Prentice-Hall. 1985.

Cited By

View all
  • (2014)On the formalization of semantic conventionsJournal of Symbolic Logic10.2307/227496455:1(220-243)Online publication date: 12-Mar-2014

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)21
  • Downloads (Last 6 weeks)9
Reflects downloads up to 16 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2014)On the formalization of semantic conventionsJournal of Symbolic Logic10.2307/227496455:1(220-243)Online publication date: 12-Mar-2014

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