Verify: A program for proving correctness of digital hardware designs

Artificial Intelligence 24 (1-3):437-491 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(84)90044-4

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,505

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Model-based diagnosis of hardware designs.Gerhard Friedrich, Markus Stumptner & Franz Wotawa - 1999 - Artificial Intelligence 111 (1-2):3-39.
Artificial in its own right.Keith Elkin - manuscript
Experiments with a heuristic theorem-proving program for predicate calculus with equality.Lewis M. Norton - 1971 - Artificial Intelligence 2 (3-4):261-284.
Advantages of artificial intelligences, uploads, and digital minds.Kaj Sotala - 2012 - International Journal of Machine Consciousness 4 (01):275-291.
Symbolic logic and mechanical theorem proving.Chin-Liang Chang - 1973 - San Diego: Academic Press. Edited by Richard Char-Tung Lee.
The correctness of nondeterministic programs.Zohar Manna - 1970 - Artificial Intelligence 1 (1-2):1-26.
Theorem proving with abstraction.David A. Plaisted - 1981 - Artificial Intelligence 16 (1):47-108.
Hybrid hardware for a highly parallel search in the context of learning classifiers.M. Bode, O. Freyd, J. Fischer, F. -J. Niedernostheide & H. -J. Schulze - 2001 - Artificial Intelligence 130 (1):75-84.
Proving theorems by reuse.Christoph Walther & Thomas Kolbe - 2000 - Artificial Intelligence 116 (1-2):17-66.
Non-resolution theorem proving.W. W. Bledsoe - 1977 - Artificial Intelligence 9 (1):1-35.

Analytics

Added to PP
2020-12-22

Downloads
7 (#1,639,987)

6 months
5 (#1,050,400)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references