Model verification and improvement using DISPROVER

&
Artificial Intelligence 6 (1):41-52 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(75)90015-6

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,574

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

Adaptive Model Checking.Alex Groce, Doron Peled & Mihalis Yannakakis - 2006 - Logic Journal of the IGPL 14 (5):729-744.
Should Validation and Verification be Separated Strictly?Claus Beisbart - 2019 - In Claus Beisbart & Nicole J. Saam (eds.), Computer Simulation Validation: Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives. Springer Verlag. pp. 1005-1028.
Verification and Validation Principles from a Systems Perspective.David J. Murray-Smith - 2019 - In Claus Beisbart & Nicole J. Saam (eds.), Computer Simulation Validation: Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives. Springer Verlag. pp. 99-118.
Computer modeling and simulation: towards epistemic distinction between verification and validation.Vitaly Pronskikh - unknown
Model Verification and the Likelihood Principle.Samuel C. Fletcher - unknown
Handwritten Signature Verification using Deep Learning. [REVIEW]Eman Alajrami, Belal A. M. Ashqar, Bassem S. Abu-Nasser, Ahmed J. Khalil, Musleh M. Musleh, Alaa M. Barhoom & Samy S. Abu-Naser - manuscript
Program Verification and Functioning of Operative Computing Revisited: How about Mathematics Engineering? [REVIEW]Uri Pincas - 2011 - Minds and Machines 21 (2):337-359.
Concerning 'Eschatological Verification Reconsidered'.Beth Mackie - 1987 - Religious Studies 23 (1):129 - 135.
Robust Algorithms for a Multimodal Biometric System Using Palmprint and Speech.R. Raghavendra - 2011 - Journal of Intelligent Systems 20 (4):305-326.
The Foundations of Verification in Modeling and Simulation.William J. Rider - 2019 - In Claus Beisbart & Nicole J. Saam (eds.), Computer Simulation Validation: Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives. Springer Verlag. pp. 271-293.
Verification and Validation of Simulations Against Holism.Julie Jebeile & Vincent Ardourel - 2019 - Minds and Machines 29 (1):149-168.
Program verification: the very idea.James H. Fetzer - 1988 - Communications of the Acm 31 (9):1048--1063.
Computer Modeling and Simulation: Increasing Reliability by Disentangling Verification and Validation.Vitaly Pronskikh - 2019 - Minds and Machines 29 (1):169-186.
Levels of Self-Improvement in AI and their Implications for AI Safety.Alexey Turchin - manuscript
Timing diagrams: Formalization and algorithmic verification. [REVIEW]Kathi Fisler - 1999 - Journal of Logic, Language and Information 8 (3):323-361.

Analytics

Added to PP
2020-12-22

Downloads
5 (#1,546,680)

6 months
5 (#649,144)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Planning in a hierarchy of abstraction spaces.Earl D. Sacerdoti - 1974 - Artificial Intelligence 5 (2):115-135.
Modeling simultaneous actions and continuous processes.Gary G. Hendrix - 1973 - Artificial Intelligence 4 (3-4):145-180.

Add more references