David Tremaine

According to our database, David Tremaine authored at least 3 papers between 2015 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2018

Translation of IEC 61131-3 Function Block Diagrams to PVS for Formal Verification with Real-Time Nuclear Application.

Josh Newell, Linna Pang, David Tremaine, Alan Wassyng, Mark Lawford

J. Autom. Reason., 2018

2016

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

Josh Newell, Linna Pang, David Tremaine, Alan Wassyng, Mark Lawford

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

2015

Formal Verification of Real-Time Function Blocks Using PVS.

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

Proceedings of the Proceedings 4th International Workshop on Engineering Safety and Security Systems, 2015