Slunečnice.cz  »  Tvorba webových stránek a programování  »  Programovací jazyky  »  Java  »  VeriFast 25.08 - download

VeriFast 25.08

Modulární formální verifikace programů vytvářených v jazycích C a Java.
3

Pro hodnocení programu se prosím nejprve přihlaste

Staženo
36 ×

VeriFast je aplikace ovládaná pomocí příkazového řádku (CLI), která je určena pro modulární formální verifikaci správnosti vlastností programů vytvářených v jazycích C a Java. 

VeriFast dokáže ověřovat, zda programy splňují specifikace definované pomocí různých podmínek, které jsou napsány v separační logice. Program také používá  symbolickou exekuci k ověření toho, že programy neobsahují nelegální přístupy do paměti.

  • Licence

    MIT License

  • Verze programu

    25.08

  • Poslední aktualizace od vývojáře

    29. 8. 2025

  • Počet stažení za měsíc

    1 ×

  • Velikost

    4,98 MB

  • Web programu

    github.com

  • Potřeba instalace:

    Ne

  • Web autora

    verifast

  • Operační systémy

    • Windows 7,
    • Windows 8,
    • Windows 10,
    • Windows 11

  • Podporované jazyky

    • Angličtina
Zobrazit více
Stáhnout zdarma Zkontrolováno antivirem s vylepšením od Stáhnout zdarma Zkontrolováno antivirem

Aktualizace programu 29. 8. 2025 Antivirová kontrola 17. 3. 2025 11:16

Program pravděpodobně spustíte na tomto počítači

chci si vybrat jiné parametry

Sdílet program

Oznámit potíže s programem

Program nejde stáhnout, má chybný popis nebo víte o novější verzi? Dejte nám o tom vědět. Velice Děkujeme za Vaše podněty.

Vstoupit do diskuse

Podobné programy

TIP: Stahují se vám programy pomalu? Změřte si rychlost svého internetového připojení.

Nejstahovanější

1. Avast Free Antivirus Tip
2. VLC media player 1 213 ×
3. Adobe Acrobat Reader DC 783 ×
4. Pošta a kancelář 659 ×
5. Total Commander 630 ×
6. DAEMON Tools Lite 606 ×
7. CCleaner 538 ×
8. Google Chrome 489 ×
9. LibreOffice 462 ×
10. WinRAR 442 ×
11. Supremo 372 ×
12. Zanshin for Mac 295 ×
13. Picasa 291 ×
14. CrystalDiskInfo 282 ×
15. 4K Video Downloader 270 ×
16. IrfanView 266 ×
17. aTube Catcher 251 ×
18. Codexia 245 ×
19. 7-Zip 220 ×
20. Sparkle 217 ×
21. Qoder 215 ×
1. Avast Free Antivirus Tip
2. VLC media player 5 506 ×
3. Adobe Acrobat Reader DC 3 398 ×
4. Total Commander 2 761 ×
5. CCleaner 2 548 ×
6. Pošta a kancelář 2 445 ×
7. DAEMON Tools Lite 2 302 ×
8. Google Chrome 2 043 ×
9. WinRAR 2 033 ×
10. LibreOffice 1 866 ×
11. Supremo 1 368 ×
12. Picasa 1 259 ×
13. 4K Video Downloader 1 178 ×
14. aTube Catcher 1 156 ×
15. uTorrent Portable 1 115 ×
16. CrystalDiskInfo 1 057 ×
17. IrfanView 1 021 ×
18. 7-Zip 968 ×
19. Firefox 863 ×
20. Driver Booster 837 ×
21. TeamViewer 765 ×
1. Avast Free Antivirus Tip
2. VLC media player 57 675 ×
3. Adobe Acrobat Reader DC 46 580 ×
4. Total Commander 31 746 ×
5. Pošta a kancelář 30 276 ×
6. CCleaner 26 179 ×
7. WinRAR 26 015 ×
8. DAEMON Tools Lite 23 892 ×
9. Google Chrome 23 340 ×
10. LibreOffice 21 107 ×
11. youtube-dl 19 640 ×
12. uTorrent Portable 15 884 ×
13. 7-Zip 15 088 ×
14. aTube Catcher 14 134 ×
15. Picasa 13 466 ×
16. IrfanView 12 965 ×
17. Seznam Prohlížeč 11 993 ×
18. Windows Movie Maker 11 860 ×
19. 4K Video Downloader 11 522 ×
20. Driver Booster 10 920 ×
21. Firefox 9 760 ×