Erfasste Open-Source-Repos von verifast, sortiert nach Sternen.
Forschungsprototyp für die modulare formale Verifikation von C-, Rust- und Java-Programmen
