[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] Proving Axiom correct

From: daly
Subject: [Axiom-developer] Proving Axiom correct
Date: Thu, 3 Jul 2014 09:17:55 -0500

Leslie Lamport has a model-checking language TLA+ which looks like
it might be useful for proving the interpreter correct. A free online
book is available at:

"If it's free, it's for me"

reply via email to

[Prev in Thread] Current Thread [Next in Thread]