"# 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
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
Formal verification - company magement