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 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS15). The tool can verify invariant, LTL and other types of properties on a network of hybrid systems.

Views: 359

Reply to This

D-MILS Partners









© 2024   Created by Scott Hansen.   Powered by

Badges  |  Report an Issue  |  Terms of Service