A general tool for verifying the correctness of distributed software (designs) in a rigorous and mostly automated fashion. Can be used as a full linear temporal logic model checking system.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.