Program Verification-Verifying Object-Oriented Programs with KeY: A Tutorial

, , , &
In O. Stock & M. Schaerf (eds.), Lecture Notes in Computer Science. Springer Verlag. pp. 70 (2006)
  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,503

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

Is “some-other-time” sometimes better than “sometime” for proving partial correctness of programs?Ildikó Sain - 1988 - Studia Logica 47 (3):279 - 301.
Program verification: the very idea.James H. Fetzer - 1988 - Communications of the Acm 31 (9):1048--1063.
Deductive program verification (a practitioner's commentary).David A. Nelson - 1992 - Minds and Machines 2 (3):283-307.
Program verification, defeasible reasoning, and two views of computer science.Timothy R. Colburn - 1991 - Minds and Machines 1 (1):97-116.
Sense and consciousness.John Campbell - 1986 - In Abraham Zvie Bar-On (ed.), Grazer Philosophische Studien. Distributed in the U.S.A. By Humanities Press. pp. 195-211.
Elephant 2000 - a programming language based on speech acts.John McCarthy - 1990
Compliance and Values Oriented Ethics Programs: Influenceson Employees’ Attitudes and Behavior.Linda Klebe Treviño - 1999 - Business Ethics Quarterly 9 (2):315-335.
Interior grounding, reflection, and self-consciousness.Marvin L. Minsky - 2005
Philosophical aspects of program verification.James H. Fetzer - 1991 - Minds and Machines 1 (2):197-216.
A Kantian Perspective on the Characteristics of Ethics Programs.Norman E. Bowie - 2004 - Business Ethics Quarterly 14 (2):275-292.
The use of a formal simulator to verify a simple real time control program.Robert Boyer - manuscript
Program Verification and Functioning of Operative Computing Revisited: How about Mathematics Engineering? [REVIEW]Uri Pincas - 2011 - Minds and Machines 21 (2):337-359.
Self-verification and the content of thought.Aaron Z. Zimmerman - 2006 - Synthese 149 (1):59-75.

Analytics

Added to PP
2014-01-28

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