Andrew Lawrence -

Registered user since Tue 6 Jan 2026

Name:Andrew Lawrence

Affiliation:Siemens Mobility

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