David Tremaine

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 2

Top Topics

Formal Verification

Automated Verification

Top Venues

J. Autom. Reason.

Publications

Josh Newell, Linna Pang, David Tremaine, Alan Wassyng, Mark Lawford
Translation of IEC 61131-3 Function Block Diagrams to PVS for Formal Verification with Real-Time Nuclear Application. J. Autom. Reason. 60 (1) (2018)
Josh Newell, Linna Pang, David Tremaine, Alan Wassyng, Mark Lawford
Formal Translation of IEC 61131-3 Function Block Diagrams to PVS with Nuclear Application. NFM (2016)
Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng, Josh Newell, Vera Chow, David Tremaine
Formal Verification of Real-Time Function Blocks Using PVS. ESSS (2015)