Stefano Tonetta's News Items
Paper on HyComp model checker for hybrid systems
The paper "HyComp: an SMT-based Model Checker for Hybrid Systems" by Alessandro Cimatti, Alberto Griggio, Sergio Mover, and Stefano Tonetta has been accepted for publication in the proceedings of the…Continue
Started Jan 28, 2015
Paper on the nuXmv Symbolic Model Checker
The paper "The nuXmv Symbolic Model Checker" by Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, and Stefano…Continue
Started Aug 4, 2014
Paper on Verifying LTL properties of hybrid systems with K-liveness
The paper "Verifying LTL properties of hybrid systems with K-liveness" by Alessandro Cimatti, Alberto Griggio, Sergio Mover, and Stefano Tonetta has been published in the proceedings of the…Continue
Started Aug 4, 2014
Stefano Tonetta's Page
Welcome to
D-MILS Project Website
D-MILS Partners
© 2024 Created by Scott Hansen.
Powered by
Comment Wall
You need to be a member of D-MILS Project Website to add comments!