Panverter

Project information

A tool for scraping data from output of the verifier executable ("pan") generated by the Spin model checker (see https://spinroot.com/spin/whatispin.html) and converting it into CSV, Haskell, HTML, JSON, LaTeX, Markdown, SQLite, or XML.

114 Commits
1 Branch
9 Tags
9 Releases

README
BSD 3-Clause "New" or "Revised" License
CHANGELOG

Created on

December 11, 2020

Copy SSH clone URLgit@gitlab.com:contravariant-ltd/panverter.git
Copy HTTPS clone URLhttps://gitlab.com/contravariant-ltd/panverter.git