TACAS26 Artifact Evaluation for "VeriLHyS: a Framework for LTL Specification and Verification of Hybrid Systems"

Zampedri, Gianni; Battista, Ludovico; Tonetta, Stefano; Fondazione Bruno Kessler

doi:10.5281/zenodo.17487141

There is a newer version of the record available.

Published October 30, 2025 | Version v2

Computational notebook Open

TACAS26 Artifact Evaluation for "VeriLHyS: a Framework for LTL Specification and Verification of Hybrid Systems"

1. Fondazione Bruno Kessler

These files replicate the data presented in the paper "VeriLHyS: a Framework for LTL Specification and Verification of Hybrid Systems".

Files

TACAS26_AE.zip

Files (495.5 kB)

Name	Size	Download all
TACAS26_AE.zip md5:a817de644acf2db2444cb88d64cc199d	495.5 kB	Preview Download

Views

Downloads

Show more details

	All versions	This version
Views	95	27
Downloads	70	27
Data volume	35.6 MB	13.9 MB

More info on how stats are collected....

DOI

Resource type

Computational notebook

Publisher

Zenodo

Languages

English

License: TACAS26_AE_LICENSE

This archive contains code that is released under two licenses. 1) The code contained in data/CORA folder: this is released under the GPLv3 License: http://www.gnu.org/licenses/gpl-3.0.en.html 2) All the code except the one contained in CORA folder Copyright (C) 2025 by Fondazione Bruno Kessler This License Agreement, including all exhibits ("License") is a legal agreement between you and Fondazione Bruno Kessler ("FBK" or "we") for the software in this folder and any data related to it, which may include source code, and any associated materials, text or binary files, associated media and "online" or electronic documentation and any updates we provide in our discretion (together, the "Software"). By installing, copying, or otherwise using the Software, you agree to be bound by the terms of this License. If you do not agree, do not install, copy, or use the Software. The Software is protected by copyright and other intellectual property laws and is licensed, not sold. SCOPE OF RIGHTS: You may study, copy, compile, execute and modify this Software for evaluation purposes, subject to the restrictions in this License. You may not: - Re-distribute this Software in any form for any purposes. Examples of purposes would be running business operations, licensing, leasing, or selling the Software, distributing the Software for use with commercial or non-commercial products, using the Software in the creation or use of commercial or non-commercial products. In return, we require that you agree: 1. That you will not remove any Copyright or other notices from the Software. 2. That if any of the Software is in binary format, you will not attempt to modify such portions of the Software, or to reverse engineer or decompile them. 3. That you will not: (i) use the Software or any component of the Software or any program, code, application or technology created through use of the Software (for example, an application or program compiled using the included compilers) in a live operating environment where it may be relied upon to perform in the same manner as a commercially released product, or with data that has not been sufficiently backed up. 4. That FBK is granted back, a non-exclusive, irrevocable, royalty-free, and sub-licensable license to, for any purpose, reproduce, publicly perform or display, install, use, modify, distribute, make and have made, sell and transfer modifications to and/or derivative works of the Software or data that you provide to FBK. 5. That any feedback about the Software provided by you to us is voluntarily given, and FBK shall be free to use the feedback as it sees fit without obligation or restriction of any kind, even if the feedback is designated by you as confidential. 6. THAT THE SOFTWARE COMES "AS IS", WITH NO WARRANTIES. THIS MEANS NO EXPRESS, IMPLIED OR STATUTORY WARRANTY, INCLUDING WITHOUT LIMITATION, WARRANTIES OF MERCHANTABILITY OR FITNESS FOR A PARTICULAR PURPOSE, ANY WARRANTY AGAINST INTERFERENCE WITH YOUR ENJOYMENT OF THE SOFTWARE OR ANY WARRANTY OF TITLE OR NON-INFRINGEMENT. THERE IS NO WARRANTY THAT THIS SOFTWARE WILL FULFILL ANY OF YOUR PARTICULAR PURPOSES OR NEEDS. ALSO, YOU MUST PASS THIS DISCLAIMER ON WHENEVER YOU DISTRIBUTE THE SOFTWARE OR DERIVATIVE WORKS. 7. THAT NEITHER FBK NOR ANY CONTRIBUTOR TO THE SOFTWARE WILL BE LIABLE FOR ANY DAMAGES RELATED TO THE SOFTWARE OR THIS LICENSE, INCLUDING DIRECT, INDIRECT, SPECIAL, CONSEQUENTIAL OR INCIDENTAL DAMAGES, TO THE MAXIMUM EXTENT THE LAW PERMITS, NO MATTER WHAT LEGAL THEORY IT IS BASED ON. ALSO, YOU MUST PASS THIS LIMITATION OF LIABILITY ON WHENEVER YOU DISTRIBUTE THE SOFTWARE OR DERIVATIVE WORKS. 8. That we have no duty of reasonable care or lack of negligence, and we are not obligated to provide technical support or bug fixes for the Software. 9. That if you breach this License or if you sue anyone over patents that you think may apply to or read on the Software or anyone's use of the Software, this License (and your license and rights obtained herein) terminate automatically. Upon any such termination, you shall destroy all of your copies of the Software immediately. Sections 4 through 9, 11 and 12 of this License shall survive any termination of this License. 10. That the patent rights, if any, granted to you in this License only apply to the Software, not to any derivative works you make. 11. That the Software may be subject to European export jurisdiction at the time it is licensed to you, and it may be subject to additional export or import laws in other places. You agree to comply with all such laws and regulations that may apply to the Software after delivery of the software to you. 12. That all rights not expressly granted to you in this License are reserved. 13. That this License shall be construed and controlled by the laws of European States, without regard to conflicts of law. If any provision of this License shall be deemed unenforceable or contrary to law, the rest of this License shall remain in full effect and interpreted in an enforceable manner that most nearly captures the intent of the original language.

Technical metadata

Created: October 30, 2025
Modified: October 30, 2025

TACAS26 Artifact Evaluation for "VeriLHyS: a Framework for LTL Specification and Verification of Hybrid Systems"

Authors/Creators

Description

Files

TACAS26_AE.zip

Files (495.5 kB)