Formal specification and verification of communication protocols for degraded modes of operation of IVHS
Ekta Singh, Pravin Varaiya · 2002
The formal specification and verification of intervehicle communication protocols for degraded modes of operation on the automated highway system (AHS) is presented. The protocols are designed to stop a "faulty" automated vehicle or to take it out of the highway. Logical correctness of the protocols is checked using automatic verification tools.