Paper Details

Communicating Process Architectures (CPA)
 Title: An Overview of ASD - Formal Methods in Daily Use
 Conference: Communicating Process Architectures 2009
 Authors: Guy Boradfoot
Verum BV
 Abstract: Analytical Software Design (ASD) is an example of how formal methods can be introduced into the industrial workplace and routinely used on a daily basis. In this talk, I will give a quick overview of the underlying concepts and techniques employed. 

BibTeX Entry