Curated Open Source

Find Open Source Repositories for "verification" - Trending Starting with S

Find and compare open-source repositories that match "verification", with project details, activity, releases, and contributors.

All A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

1 repositories found

Clear filters

Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless