State maps you can explore
Explore
Pick an example to load its decomposed state map and the IPL model behind it.
A model of a simple venue that accepts orders.
Example details are not available yet.
IPL State Map Examples
This is a showcase of IPL (Imandra Protocol Language) specifications that have been decomposed into their state maps using Imandra's Region Decomposition.
