Stefano Tonetta
  • Male
  • Trento
  • Italy

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

Comment Wall

You need to be a member of D-MILS Project Website to add comments!

  • No comments yet!
 
 
 

D-MILS Partners

 

 

 

 

 

 

 

 

© 2017   Created by Scott Hansen.   Powered by

Badges  |  Report an Issue  |  Terms of Service