The Vehicle specification language

Vehicle specifications are written in the Vehicle Specification Language, which is designed for clearly and concisely expressing mathematical properties of neural networks.