THE ADAPTIVE CRUISE CONTROLLER CASE STUDY Visualisation, Validation, and Temporal Verification
Alexander Krupp, Ola Lundkvist, Tim Schattkowsky, Colin Snook · 2004
We present the adaptive cruise controller case study for B modelling and the model checking by RAVEN. Individual translations of B operations, data types, and invariants to the RA VEN Input Language are presented by the example of the case study.