https://github.com/jettify/pyconua2018
Template for my talks
https://github.com/jettify/pyconua2018
beamer latex metropolis
Last synced: 6 months ago
JSON representation
Template for my talks
- Host: GitHub
- URL: https://github.com/jettify/pyconua2018
- Owner: jettify
- Created: 2017-12-25T20:25:09.000Z (almost 8 years ago)
- Default Branch: master
- Last Pushed: 2018-05-01T07:50:54.000Z (over 7 years ago)
- Last Synced: 2025-03-25T09:52:51.509Z (6 months ago)
- Topics: beamer, latex, metropolis
- Language: TeX
- Homepage:
- Size: 11.4 MB
- Stars: 9
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Verification of Concurrent and Distributed Systems
Building correct concurrent and distributed systems is hard and very challenging task also high complexity of such software increases the probability of human error in design and architecture. On practice standard verification techniques in industry are necessary but not sufficient. In my talk we will discuss formal specification and verification language that helps engineers design, specify, reason about and verify complex, real-life algorithms and software systems.
## Usage
Copy contents of repository to the separate folder, edit `slides.tex` then
compile it with `xlatex` using command:
```bash
$ make lint
$ make pdf
```
## Source code highlighting
Slides use `minted` package for source code highlighting, it depends on
`pygments`, TLA+ requires one more package.
```bash
$ mkvirtualenv slides
$ pip install pygments
$ pip install https://github.com/hwayne/tla-pygments/archive/master.zip
```