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


Carette, Jacques; Korobkine, Alexandre; Lawford, Mark

Automatic and Verifiable Synthesis of Implementations from Mathematical Models Journal Article

In: 2009.

BibTeX | Tags: code generation, computer algebra, model driven development, verification