Code for Stanford's AA228V/CS238V: Validation of Safety-Critical Algorithms - View it on GitHub