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

Show all

2021

Diskin, Zinovy; Stunkel, Patrick

Sketches, Queries, and Views: From Term-Graphs to Diagrammatic Term-Sketches Technical Report

2021.

Links | BibTeX | Tags: diagrammatic operations, formal verification, Kleisli, model management, software engineering, term-graphs

2015

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

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

2003

Zhang, Hong

SQRL Report No. 17 “Formal Verification of Timed Transition Models” Technical Report

2003.

Abstract | Links | BibTeX | Tags: formal verification, timed transition model