PROTON SV-COMP 2026 Competition Contribution

There is a newer version of the record available.

Published November 23, 2025 | Version v2

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:9c6fc389966a83c95e42431d9478fc49	44.0 MB	Preview Download

743

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