XII.—Verification

Proceedings of the Aristotelian Society 39 (1):225-248 (1939)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/aristotelian/39.1.225

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Concerning 'Eschatological Verification Reconsidered'.Beth Mackie - 1987 - Religious Studies 23 (1):129 - 135.
Program verification: the very idea.James H. Fetzer - 1988 - Communications of the Acm 31 (9):1048--1063.
Verificationist Theory of Meaning.Markus Schrenk - 2008 - In U. Windhorst, M. Binder & N. Hirowaka (eds.), Encyclopaedic Reference of Neuroscience. Springer.
Verification of concurrent programs: the automata-theoretic framework.Moshe Y. Vardi - 1991 - Annals of Pure and Applied Logic 51 (1-2):79-98.
Program verification, defeasible reasoning, and two views of computer science.Timothy R. Colburn - 1991 - Minds and Machines 1 (1):97-116.
Adaptive Model Checking.Alex Groce, Doron Peled & Mihalis Yannakakis - 2006 - Logic Journal of the IGPL 14 (5):729-744.
Computer modeling and simulation: towards epistemic distinction between verification and validation.Vitaly Pronskikh - unknown
Adventures in the verification of mathematics.Harvey Friedman - manuscript
Decidable properties for monadic abstract state machines.Daniele Beauquier - 2006 - Annals of Pure and Applied Logic 141 (3):308-319.
Schlick and Neurath.Keith Lehrer - 1982 - Grazer Philosophische Studien 16 (1):49-61.
The localised falsification diagnosis of meaning.Tony Lloyd - manuscript
Compositional verification of multi-agent systems in temporal multi-epistemic logic.Joeri Engelfriet, Catholijn M. Jonker & Jan Treur - 2002 - Journal of Logic, Language and Information 11 (2):195-225.
Timing diagrams: Formalization and algorithmic verification. [REVIEW]Kathi Fisler - 1999 - Journal of Logic, Language and Information 8 (3):323-361.
Verification in Economics and History: A Sequel to 'scientifization'.Omar Hamouda & Betsy Price - 1991 - Routledge.
Verification.I. Berlin - 1939 - Proceedings of the Aristotelian Society 39:225 - 248.

Analytics

Added to PP
2016-06-30

Downloads
17 (#846,424)

6 months
6 (#504,917)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Relevance and Verification.Ben Blumson - 2021 - Philosophical Quarterly 71 (3):457-480.

Add more citations

References found in this work

No references found.

Add more references