Hacker News new | ask | show | jobs
Formal Proofs Used on the NYCT Flushing Line CBTC Project (tools.clearsy.com)
3 points by notmtaemployee 3326 days ago