Software for the paper “Increasing Confidence in Liveness Model Checking Results with Proofs”
This page contains the software for the paper “Increasing Confidence in Liveness Model Checking Results with Proofs”. For running instructions, see the included README-file.