Ten Commandments Revisited: A Ten-Year Perspective on the Industrial Application of Formal Methods

Ten years ago, our 1995 paper Ten Commandments of Formal Methods suggested some guidelines to help ensure the success of a formal methods project. It proposed ten important requirements (or "commandments") for formal developers to consider and follow, based on our knowledge of several industrial application success stories, most of which have been reported in more detail in two books. The paper was surprisingly popular, is still widely referenced, and used as required reading in a number of formal methods courses. However, not all have agreed with some of our commandments, feeling that they may not be valid in the long-term. We re-examine the original commandments ten years on, and consider their validity in the light of a further decade of industrial best practice and experiences

06191 Abstracts Collection -- Rigorous Methods for Software Construction and Analysis

From 07.05.06 to 12.05.06, the Dagstuhl Seminar 06191 ``Rigorous Methods for Software Construction and Analysis\u27\u27 was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available

An Economist’s Guide to Heaven

This paper is the first to offer an economic model of God and humanity as optimizing agents in the context of concrete belief archetypes (religious ‘contracts’) in Judeo-Christian theology. Data support the model’s unique predictions, despite their otherwise counterintuitive, unlikely nature. For example, the model requires that in one belief archetype, ‘good works’ not increase with strength of faith, as one might otherwise expect, and that what appears may be God’s dominant contract precisely balances divine penalties for reneging on promises with incentives to seek divine ‘gifts’—an equivalence supported in the data.economics;religion

Spartan Daily, December 1, 1995

Volume 105, Issue 63https://scholarworks.sjsu.edu/spartandaily/8778/thumbnail.jp

Science and Ethics: tracing parallels and contrasts

Articl