PySvLib (SV-COMP 2026 Submission)

There is a newer version of the record available.

Published January 24, 2026 | Version 0.0.0+g03e294a-dev4-svcomp2026

Software Open

Files

Name	Size	Download all
pysvlib-0.0.0+g03e294a-py3-none-any.zip md5:533d84a96fed4f8957d2ca8be3b0e829	10.3 MB	Preview Download

599

Views

176

Downloads

Show more details

DOI

Resource type

Software

Publisher

Zenodo

License: Apache License 2.0

A permissive license whose main conditions require preservation of copyright and license notices. Contributors provide an express grant of patent rights. Licensed works, modifications, and larger works may be distributed under different terms and without source code. Read more