Formal methods play an important role in the development of software and hardware systems. In recent years, there has been a growing interest to apply these methods in the area of medical guidelines and protocols. This paper summarises these efforts, compares the approaches and discusses the role of formal methods in this area.

We present a simple theory of actions against the background of branching time, based on which we propose two versions of an extended stit theory, one equipped with particular actions and the other with sets of such actions. After reporting some basic results of a formal development of such a theory, we briefly explore its connection to a version of branching ETL.

Article history: Received 5 May 2012 Received in revised form 22 August 2013 Accepted 18 September 2013 Available online xxxx

In this paper I will introduce the ideas behind the B formal method, especially as crystalised in its latest version, Event-B. I shall give some insights on modeling and formal reasoning, activities intended to be performed before undertaking the actual coding of a computer system, so that the software in question will be correct by construction. At the end, I shall present a number of real pro...

This position paper presents the author’s personal and unratified views on the Resource/Events/Agents model (REA) along with suggested directions of further research with an emphasis on formal methods. The three main suggestions for REA are: (1) to establish a formal foundation, (2) to design a contract/process language, and (3) to design a report language.

Guidelines for exploiting formal methods in the tools to be developed in WP2

We explore the effect of transparency of fiscal institutions on the scale of government and gubernatorial popularity using a formal model of accountability. We construct an index of fiscal transparency for the American states from detailed budgetary information. With crosssection data for 1986-1995, we find that on average and controlling for other influential factors fiscal transparency increa...