Welcome to
IPL State Map
Examples
Welcome mighty programmer! This is a showcase of IPL (Imandra Protocol Language) specifications that have been decomposed into their state maps using Imandra's Region Decomposition.
Explore:
We gather usage information, which helps us to improve your experience with our products. You can ask for any usage data we've gathered on you to be deleted by getting in touch. Learn more about our cookie policy here.
Welcome to
Welcome mighty programmer! This is a showcase of IPL (Imandra Protocol Language) specifications that have been decomposed into their state maps using Imandra's Region Decomposition.
Explore:
