intelligent-control-lab/ModelVerification.jl: Artifact evaluation for CAV 2025

Published April 13, 2025 | Version v3

Software Open

Files

Name	Size	Download all
artifact.zip md5:605e3cc43c5165059b5c1b6161e1a83b	139.2 MB	Preview Download

Is supplement to: Software: https://github.com/intelligent-control-lab/ModelVerification.jl/tree/CAV_artifact (URL)

Repository URL: https://github.com/intelligent-control-lab/ModelVerification.jl

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