HyDI

swMATH11912MaRDI QIDQ23848FDOQ23848

Author name not available (Why is that?)

Official website: http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=6068355

Cited In (6)

• SMT-based scenario verification for hybrid systems
• Charon
• HyCreate
• XSpeed
• Quantifier-free encoding of invariants for hybrid systems
• HYST: a source transformation and translation tool for hybrid automaton models

This page was built for software: HyDI