Compositional Verification of Timed Automata via Violation Assumptions.

Mehran Moeini Jam, Hamed Kalantari, Ehsan Khamespanah, Marjan Sirjani, Ali Movaghar

Browse the full CAV paper archive.