Research in Progress (RIP) https://rip.trb.org/ en-us Copyright © 2024. National Academy of Sciences. All rights reserved. http://blogs.law.harvard.edu/tech/rss tris-trb@nas.edu (Bill McLeod) tris-trb@nas.edu (Bill McLeod) Research in Progress (RIP) https://rip.trb.org/Images/PageHeader-wTitle-RIP.jpg https://rip.trb.org/ Beyond Verification & Validation (V&V) for CBTC/UWB Systems:  Proving Correctness https://rip.trb.org/View/2062438 Tue, 15 Nov 2022 16:17:49 GMT https://rip.trb.org/View/2062438 Communication-Based Train Control (CBTC) for Heavy and Light Rail Transit Systems https://rip.trb.org/View/1233973 Thu, 03 Jan 2013 15:04:44 GMT https://rip.trb.org/View/1233973