▽TLA - The Temporal Logic of Actions
●03/03 23:41
Last modified on 2 January 2021
Items of current interest. Last modified on 5 August 2020.
An integrated development environment (IDE) for TLA+ and its tools. There is also a Visual Studio Code extension for TLA+.

▽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