[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:
http://research.microsoft.com/en-us/um/people/lamport/tla/book-02-08-08.pdf
Tim
"If it's free, it's for me"
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] Proving Axiom correct,
daly <=