Slow Down, Move Over: A Case Study in Formal Verification, Refinement, and Testing of the Responsibility-Sensitive Safety Model for Self-Driving Cars (Models and Proofs)

This artifact contains four models with proofs for various cases of the Responsibility Sensitive Safety model for self-driving cars, for proof-checking Theorems 1-4 of "M. Strauss, S. Mitsch. Slow Down, Move Over: A Case Study in Formal Verification, Refinement, and Testing of the Responsibility-Sensitive Safety Model for Self-Driving Cars. In 17th International Conference on Tests and Proofs (TAP 2023), Proceedings, Leicester, UK, Springer, 2023.".