This is an old revision of the document!
Quick Guide to TESLA
This is a quick write-up on what is TESLA and how to use it in order to verify temporal properties of running code.
- shmsoc2011qgtt.1309077046.txt.gz
- Last modified: 2011/06/26 08:30
- by MateuszKocielski