https://github.com/sanssecours/computer-aided-verification
Solutions for the exercises of the course “Computer Aided Verification”
https://github.com/sanssecours/computer-aided-verification
Last synced: 2 months ago
JSON representation
Solutions for the exercises of the course “Computer Aided Verification”
- Host: GitHub
- URL: https://github.com/sanssecours/computer-aided-verification
- Owner: sanssecours
- Created: 2013-07-31T16:46:20.000Z (almost 12 years ago)
- Default Branch: master
- Last Pushed: 2015-06-27T11:33:39.000Z (almost 10 years ago)
- Last Synced: 2025-03-15T04:05:09.645Z (3 months ago)
- Language: TeX
- Size: 2.13 MB
- Stars: 1
- Watchers: 2
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: ReadMe.md
Awesome Lists containing this project
README
# Computer Aided Verification — Exercises
Solutions for the exercises of the course Computer Aided Verification. This
course was held in the summer term of 2013 at the University of Technology in
Vienna.
## Dependencies
- [Highlight](http://www.andre-simon.de/doku/highlight/en/highlight.html) —
Highlight and convert source code into various formats
- [Make](http://en.wikipedia.org/wiki/Make_software) —
Build Automation Tool
- [TeX Live](http://www.tug.org/texlive/) —
Software distribution for the [TeX](http://en.wikipedia.org/wiki/TeX)
typesetting system
## Translation
```shell
make doc
```
## Download
You can download the PDF [here](https://bitbucket.org/sanssecours/computer-aided-verification/downloads).