Programming projects for Stanford's AA228V/CS238V Validation of Safety-Critical Systems - View it on GitHub