Drawing from the author’s twenty years of experience in formal methods research and development, and, particularly, with the EVES-based systems, this paper provides personal impressions on what is and what is not working with regards to the adoption and application of formal methods. As both the community’s understanding of technology transfer issues and formal methods technology improve, one i...

In some cases, contraceptive methods are inherently controlled by one partner or the other. For example, women can get a prescription for and take hormonal birth control; men can't (at this time). However, this doesn't mean that men shouldn't participate in making the decision of what contraception to use and share in covering the cost. In fact, communicating about and sharing responsibility fo...

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.