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

Show all


Pang, Linna; Wang, Chen-Wei; Lawford, Mark; Wassyng, Alan; Newell, Josh; Chow, Vera; Tremaine, David

Formal Verification of Real-Time Function Blocks Using PVS Inproceedings

In: 4th International Workshop on Engineering Safety and Security Systems 2015 (ESSS’15), pp. 65–79, Electronic Proceedings in Theoretical Computer Science 2015.

BibTeX | Tags: formal verification, function blocks, IEC 61131-3, safety-critical systems, software certification


Maibaum, Tom

SQRL Report No. 59 ” Challenges in Software Certification.” Technical Report


Abstract | Links | BibTeX | Tags: requirements specification, software certification


Gnesi, Stefania; Maibaum, Tom; Wassyng, Alan

SQRL Report No. 37 “CERTSOFT06: First International Workshop on Software Certification” Technical Report


Abstract | Links | BibTeX | Tags: software certification