Post

Verifpal 1.2.2 adds an exciting new output format: HTML reports! Verifpal can now output highly informative, self-contained HTML reports that contain diagrams and other explanations of your analysis' results. Here's an example! Try it using: verifpal verify --format html your-model.vp.