Cite

If you want to cite VeriLHyS, please use this reference. It will be updated as soon as a tool paper will be published.

@InProceedings{battista_tonetta_atva25, author="Battista, Ludovico and Tonetta, Stefano", editor="D{\textasciiacute}Souza, Meenakshi and Komondoor, Raghavan and Srivathsan, B.", title="Deriving Liveness Properties of Hybrid Systems from Reachable Sets and Lyapunov-Like Certificates", booktitle="Automated Technology for Verification and Analysis", year="2026", publisher="Springer Nature Switzerland", address="Cham", pages="363--386", url="https://es-static.fbk.eu/tools/verilhys/", isbn="978-3-032-08707-2", doi="10.1007/978-3-032-08707-2_17" }