Thmpr
Intelligent Machines Laboratory
Enter the IMLIntelligent Machines Laboratory
Enter the IMLsoftware compiles only if it satisfies specification constraints
adaptive asynchronous code on distributed fault-tolerant networks
algorithms packaged with machine-verified proofs of correctness