There is a newer version of the record available.

Published November 21, 2024 | Version v3
Software Open

Hornix at SV-COMP 2025

Authors/Creators

  • 1. ROR icon Charles University

Description

Hornix verifier submitted to SV-COMP 2025.

Files

hornix.zip

Files (117.8 MB)

Name Size Download all
md5:e6591ba83b807bd9fa8bdbc1560252b6
117.8 MB Preview Download

Additional details

Software

Repository URL
https://github.com/d3sformal/hornix
Programming language
C++