zbeyens/uppaal-parking

Formal verification - company magement

"# uppaal-parking" git init git add README.md git commit -m "first commit" git remote add origin https://github.com/zbeyens/uppaal-parking.git git push -u origin master