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

Show all


Newell, Joshua; Pang, Linna; Tremaine, David; Wassyng, Alan; Lawford, Mark

Formal Translation of IEC 61131-3 Function Block Diagrams to PVS with Nuclear Application Inproceedings

In: NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings, pp. 206–220, Springer 2016.

BibTeX | Tags: formal specification, function block diagrams, IEC 61131-3, PVS, safety critical systems, tabular expressions


Xu, Hao

Model Based System Consistency Checking Using Event-B Masters Thesis

McMaster University, 2014.

Abstract | Links | BibTeX | Tags: event-B, formal specification, insulin infusion pump, safety constraints, safety critical systems, software engineering, timing constraints