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: