Model Checking Bounded Continuous-time Extended Linear Duration Invariants
From MaRDI portal
Publication:4561435
DOI10.1145/3178126.3178147zbMath1409.68165MaRDI QIDQ4561435
Naijun Zhan, Wang Yi, Xiaoshan Li, Miaomiao Zhang, Jie An
Publication date: 6 December 2018
Published in: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3178126.3178147
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)