VeriFast 26.01
Verifikace vlastností programů (C, Java)
VeriFast je výzkumný prototyp nástroje pro modulární formální verifikaci správnosti vlastností programů v jazycích C a Java. Umožňuje ověřovat, zda programy splňují specifikace definované pomocí předpodmínek a popodmínek, které jsou napsány v separační logice. Používá symbolickou exekuci k ověření, že programy neobsahují nelegální přístupy do paměti.
Celkové hodnocení
Sdílet program
Souhrnné informace o VeriFast
-
Licence
-
Verze programu
26.01 -
Autor
-
Potřeba instalace
ne -
Domovská stránka
-
Velikost souboru
5,99 MB -
Operační systém
- Windows 7,
- Windows 8,
- Windows 10,
- Windows 11
-
Jazyk
- Angličtina
-
Staženo
34× celkem
0× tento měsíc -
Poslední aktualizace
7. 2. 2026
