PROTON SV-COMP 2026 Competition Contribution

There is a newer version of the record available.

Published October 21, 2025 | Version 2.2

Software Open

This is version 2.2 of PROTON tool. Llama for ranking functions is now removed.

Files

Name	Size	Download all
proton.zip md5:b060832bd2396fab09bcb372c76f92af	44.0 MB	Preview Download

742

Views

Downloads

Show more details

DOI

Resource type

Software

Publisher

Zenodo

License: MIT License

A short and simple permissive license with conditions only requiring preservation of copyright and license notices. Licensed works, modifications, and larger works may be distributed under different terms and without source code. Read more