Using Formal Methods in Safety-Critical Interactive System Design : from Architecture-based Approaches to Tool-based Development

@inproceedings{Girard2005UsingFM,
  title={Using Formal Methods in Safety-Critical Interactive System Design : from Architecture-based Approaches to Tool-based Development},
  author={Patrick Girard and Micka{\"e}l Baron},
  year={2005}
}
Although formal methods are increasingly used by researchers in HCI, their usage in actual interactive developments has not been put in practice. In this article, we describe our experience with a specific formal method –the B method– from two viewpoints. On the one hand, we demonstrate how it is possible to use formal methods on real development, from… CONTINUE READING