Paper Details

Communicating Process Architectures (CPA)
 Title: Testing and Verifying Parallel Programs Using Data Refinement
 Conference: Communicating Process Architectures 2018
 Authors: Jeremy M. R. Martin
ITG Application Group, Lloyd's
 Abstract: We show how to apply the technique of data refinement from the field of Formal Methods to test or verify scientific parallel programs by generalizing the concept of abstraction functions to distributed data structures. This work is motivated by experience of developing computationally-intensive finance models to support the London Insurance Market and the application of test-driven development to achieve correctness by design. 

BibTeX Entry

Full paper