Seng Joe Watt

According to our database, Seng Joe Watt authored at least 3 papers between 2023 and 2025.

Collaborative distances:

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

2025

Verification of the CVM algorithm with a New Recursive Analysis Technique.

Emin Karayel, Derek Khu, Kuldeep S. Meel, Yong Kiam Tan, Seng Joe Watt

Arch. Formal Proofs, 2025

Verification of the CVM Algorithm with a Functional Probabilistic Invariant.

Emin Karayel, Seng Joe Watt, Derek Khu, Kuldeep S. Meel, Yong Kiam Tan

Proceedings of the 16th International Conference on Interactive Theorem Proving, 2025

2023

Deontics and Time in Contracts: An Executable Semantics for the L4 DSL.

Seng Joe Watt, Oliver R. Goodenough, Meng Weng Wong

Proceedings of the Legal Knowledge and Information Systems, 2023