Popili allows you to explore different visualisations to help you understand your Coco software, and share information between stakeholders more easily. With its fully integrated simulator, you can also examine your code step-by-step, and explore alternative execution paths.
Our tools will automatically generate diagrams to help you visualise your software architectures, and easily navigate your way around them. As well as visualising the structure, you can also easily identify the runtimes being used in your software stack thanks to the colours.
Examine your ports and components step-by-step – then roll back to an earlier state any time and on any lifeline to explore alternative paths. Struggling to understand one of your verification counterexamples? Load it into the simulator for alternative executions.
Popili automatically generates graphical representations and structured tabular views of any state machine you’re building. Each view presents different levels of information, allowing you to visualise them in a way that works best for you.
