Using a model checker to verify programs

South African Journal of Philosophy-Suid-Afrikaanse Tydskrif Vir Wysbegeerte 7 (2):113-117 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

One hundred prisoners and a lightbulb — the logic.Hans van Ditmarsch & Jan van Eijck - unknown
A Distinguishable Model Theorem for the Minimal US-Tense Logic.Fabio Bellissima & Anna Bucalo - 1995 - Notre Dame Journal of Formal Logic 36 (4):585-594.
Review: B. Courcelle, B. Domolki, T. Gergely, Equational Theories and Equivalences of Programs; J. W. de Bakker, J. I. Zucker, Derivatives of Programs; E. Engeler, An Algorithmic Model of Strict Finitism. [REVIEW]Steven S. Muchnick - 1984 - Journal of Symbolic Logic 49 (3):990-991.
Programs as Causal Models: Speculations on Mental Programs and Mental Representation.Nick Chater & Mike Oaksford - 2013 - Cognitive Science 37 (6):1171-1191.
Using stable model semantics (SMODELS) in the causal calculator (CCALC).Semra Dogandag, F. Nur Alpaslan & Varol Akman - 2001 - In Proceedings of 10th Turkish Symposium on Artificial Intelligence and Neural Networks (TAINN).
Quantum Consciousness.Richard A. Mould - 1999 - Foundations of Physics 29 (12):1951-1961.
Ethics programs and their dimensions.Steven N. Brenner - 1992 - Journal of Business Ethics 11 (5-6):391-399.
Do Duluth Model Interventions With Perpetrators of Domestic Violence Violate Mental Health Professional Ethics?Wan-Yi Chen, Donald Dutton & Kenneth Corvo - 2009 - Ethics and Behavior 19 (4):323-340.
Non-Ideal Epistemic Spaces.Jens Christian Bjerring - 2010 - Dissertation, Australian National University
Twelve definitions of a stable model.Vladimir Lifschitz - unknown
Machine learning of higher-order programs.Ganesh Baliga, John Case, Sanjay Jain & Mandayam Suraj - 1994 - Journal of Symbolic Logic 59 (2):486-500.
Design research programs and the logic of their development.Theo A. F. Kuipers, Rein Vos & Hauke Sie - 1992 - Erkenntnis 37 (1):37 - 63.
Automated type-checking for the ramified theory of types of the Principia Mathematica of Russell and Whitehead.M. Randall Holmes - unknown

Analytics

Added to PP
2014-04-07

Downloads
0

6 months
0

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

No references found.

Add more references