Stefano Tonetta's News Items (3)

News Items Discussions Started (3) Replies Latest Activity

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…

Started by Stefano Tonetta in News

0 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…

Started by Stefano Tonetta in News

0 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 To…

Started by Stefano Tonetta in News

0 Aug 4, 2014

RSS

D-MILS Partners

 

 

 

 

 

 

 

 

© 2019   Created by Scott Hansen.   Powered by

Badges  |  Report an Issue  |  Terms of Service