Verification of Scheme Plans Using CSP || B - Hoang Nguyen (2014)
Originality:The paper makes the bold step of bringing mathematical theory down to the level of engineering practice; something rare, explaining why the type of formal methods presented are not readily adapted in practice. This is done through the use of a bespoke graphical tool based on a domain specific language inspired by engineering practice.Significance:The methodology outlined in this paper forms the basis of the technology being adapted by Siemens, which is the foundation of the REF Impact Case Study.Rigour:The methodology is, of course, founded on the most rigorous of mathematical theory development.