VeriFast 25.06
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
25.06 -
Autor
-
Potřeba instalace
ne -
Domovská stránka
-
Velikost souboru
4,93 MB -
Operační systém
- Windows 7,
- Windows 8,
- Windows 10,
- Windows 11
-
Jazyk
- Angličtina
-
Staženo
16× celkem
0× tento měsíc -
Poslední aktualizace
12. 7. 2025
