▽TLA - The Temporal Logic of Actions
●05/16 20:59
My TLA+ Home PageLast modified on 13 May 2025I am the creator of TLA+, a high-level language for modeling programs andin code.This web page is the home page of what used to be the TLA+ website.  TLA+ is now in the hands of the TLA+ Foundation,and this is now my personal TLA+ web site.  I have retired, and Idon't know if I will make any further changes to the site otherthan correcting err

▽Pointer Assertion Logic
●06/15 16:17
See also the MONA project.PALE is implemented by Anders M〓ller at Aarhus University.
Copyright © 2000-2007 Department of Computer Science, Aarhus University. Please send comments to amoeller@cs.au.dk.

▽PRISM - Probabilistic Symbolic Model Checker
●11/08 17:45
School of Computer Science Menu Study Research People About Contact Internal
School of Computer Science
404: Not Found
We can’t seem to find the page you are looking for.
It might have been moved or deleted, or you might have followed a mistyped link. We recommend trying to find the page your are looking for starting at the homepage
School of Computer Science
University of Birmingham
B15 2TT, Unit

▽Predicate Abstraction
●09/19 09:05
Apache/2.2.22 (Ubuntu) Server at chicory.stanford.edu Port 80