Click on a search word OR use the drop-down choices to search for a paper.

Show all


Singh, Neeraj Kumar; Lawford, Mark; Maibaum, Tom; Wassyng, Alan

A formal approach to rigorous development of critical systems Journal Article

In: Journal of Software: Evolution and Process, 2021.

Abstract | Links | BibTeX | Tags: certification, code generation, formal methods, proof‐based development, refinement, simulation, tabular expression, verification and validation


Pang, Linna; Wang, Chen-Wei; Lawford, Mark; Wassyng, Alan

Formal verification of function blocks applied to IEC 61131-3 Journal Article

In: Science of Computer Programming, vol. 113, no. Part 2, pp. 149–190, 2015.

BibTeX | Tags: critical systems, formal verification, function blocks, IEC 61131-3, tabular expression