Course code, if applicable: TDA567
University hosting the course: Chalmers University
Contact person: Srinivas Pinisetty
Concepts taught: formal specification and verification of code
Tools used: Daphny
Webpage: http://www.cse.chalmers.se/edu/year/2017/course/TDA567/index.html
Course code, if applicable: TDA567 University hosting the course: Chalmers University Contact person: Srinivas Pinisetty Concepts taught: formal specification and verification of code Tools used: Daphny Webpage: http://www.cse.chalmers.se/edu/year/2017/course/TDA567/index.html