Harry Bryant -

Not registered as user

Name:Harry Bryant

Affiliation:Swansea University

Contributions

2026

WADT

Author of Trustworthy Railway Verification based upon the IC3 algorithm: From Black Box to Glass Box within the WADT 2026-track

RocqPL

Author of Formal Assurance for Railway Interlockings: Verifying Z3 SAT Proofs with Tseitin in Rocq within the Rocq for Programming Languages 2026-track