Table of Contents
TLA
Pages found on November 19
Tools & Projects
References
- http://www.rvs.uni-bielefeld.de/~dhenkel/OStools.html Prof Ladkin, Uni Bielefeld, DE
- http://www.rvs.uni-bielefeld.de/~mblume/ Michael Blume, Uni Bielefeld, DE
- http://www2.informatik.hu-berlin.de/top/lehre/WS07-08/vl_mms/folien/12-4-Sprache-TLA+_6F.pdf Prof. Reisig, HU Berlin, DE
- http://www.cs.utah.edu/formal_verification/mpic/ Tools using TLC!
- http://www.haifa.ibm.com/Workshops/padtad2007/present/ganesh_padtad07.pdf generate TLA+ code
- http://www.caip.rutgers.edu/~marsic/ teached TLA+ in 2007
- http://www.mpsoc-forum.org/2007/slides/Verhulst.pdf AutoMotive, Embedded, 2007?
- http://www.cs.uwaterloo.ca/~kdaudjee/courses/cs848/slides/smart.ppt SMART, MSR, March 2009
