A Formal Notation for Hardware and Software Verification

One of 1,403 items in the series: Argonne National Laboratory Reports available on this site.
Thumbnail image of item number 1 in: 'A Formal Notation for Hardware and Software Verification'.
Thumbnail image of item number 2 in: 'A Formal Notation for Hardware and Software Verification'.
Thumbnail image of item number 3 in: 'A Formal Notation for Hardware and Software Verification'.
Thumbnail image of item number 4 in: 'A Formal Notation for Hardware and Software Verification'.
Showing 1-4 of 18 pages in this report.

PDF Version Also Available for Download.

Description

Some years ago a theory was published describing compilation of digital logic system build descriptions (list of behaviors for elementary components and connections between them) into recursively computable system behavior descriptions. The current work describes an analogous theory for computer programs.

Physical Description

iii, 16 p.

Creation Information

Chapman, Richard O. & Gabriel, John R. October 1986.

Context

This report is part of the collection entitled: Technical Report Archive and Image Library and was provided by the UNT Libraries Government Documents Department to the UNT Digital Library, a digital repository hosted by the UNT Libraries. It has been viewed 189 times. More information about this report can be viewed below.

Who

People and organizations associated with either the creation of this report or its content.

Authors

Originator

Publisher

Audiences

We've identified this report as a primary source within our collections. Researchers, educators, and students may find this report useful in their work.

Provided By

UNT Libraries Government Documents Department

Serving as both a federal and a state depository library, the UNT Libraries Government Documents Department maintains millions of items in a variety of formats. The department is a member of the FDLP Content Partnerships Program and an Affiliated Archive of the National Archives.

About | Browse this Partner

Contact Us

Corrections Questions

What

Descriptive information to help identify this report. Follow the links below to find similar items on the Digital Library.

Titles

  • Main Title: A Formal Notation for Hardware and Software Verification
  • Added Title: ANL (Series)
  • Added Title: Argonne National Laboratory Report ANL-86-44
  • Series Title: Argonne National Laboratory Reports

Description

Some years ago a theory was published describing compilation of digital logic system build descriptions (list of behaviors for elementary components and connections between them) into recursively computable system behavior descriptions. The current work describes an analogous theory for computer programs.

Physical Description

iii, 16 p.

Notes

Digitized from microfiche (1).

Some parts of this report may be illegible, depending on the quality of the microfiche.

Language

Item Type

Identifier

Unique identifying numbers for this report in the Digital Library or other systems.

  • OCLC: 878841612
  • SuDoc Number: Y 3.AT 7:22/ANL-86-44
  • Report No.: ANL-86-44
  • Grant Number: W-31-109-Eng-38
  • Archival Resource Key: ark:/67531/metadc282801

Collections

This report is part of the following collection of related materials.

Technical Report Archive and Image Library

The Technical Report Archive & Image Library (TRAIL) identifies, acquires, catalogs, digitizes and provides unrestricted access to U.S. government agency technical reports. The mission of TRAIL is to ensure preservation, discoverability, and persistent open access to government technical publications regardless of form or format.

About | Browse this Collection

What responsibilities do I have when using this report?

Digital Files

When

Dates and time periods associated with this report.

Creation Date

  • October 1986

Added to The UNT Digital Library

  • Aug. 4, 2015, 8:33 a.m.

Usage Statistics

When was this report last used?

Yesterday: 0
Past 30 days: 1
Total Uses: 189
More Statistics

Interact With This Report

Here are some suggestions for what to do next.

Start Reading

Thumbnail image of item number 1 in: 'A Formal Notation for Hardware and Software Verification'.
Thumbnail image of item number 2 in: 'A Formal Notation for Hardware and Software Verification'.
Thumbnail image of item number 3 in: 'A Formal Notation for Hardware and Software Verification'.
Thumbnail image of item number 4 in: 'A Formal Notation for Hardware and Software Verification'.

PDF Version Also Available for Download.

Citations, Rights, Re-Use

International Image Interoperability Framework

IIF Logo

We support the IIIF Presentation API

Links for Robots

Helpful links in machine-readable formats.

Archival Resource Key (ARK)

International Image Interoperability Framework (IIIF)

Metadata Formats

Images

URLs

Stats

Chapman, Richard O. & Gabriel, John R. A Formal Notation for Hardware and Software Verification, report, October 1986; Argonne, Illinois. (https://digital.library.unt.edu/ark:/67531/metadc282801/: accessed April 23, 2024), University of North Texas Libraries, UNT Digital Library, https://digital.library.unt.edu; crediting UNT Libraries Government Documents Department.

Back to Top of Screen