Space: nickh007/specforge-leaderboard
title: specforge leaderboard
sdk: static
license: mit
short_description: Score a solver with every counterexample replayed
tags: formal-methods, model-checking, verification, benchmark
Tags: static, formal-methods, model-checking, verification, benchmark, region:us