Bounded model-checking of discrete duration calculus
From MaRDI portal
Publication:2986927
DOI10.1145/2461328.2461362zbMath1362.68191MaRDI QIDQ2986927
Naijun Zhan, Jiaqi Zhu, Miaomiao Zhang, Quan Zu
Publication date: 16 May 2017
Published in: Proceedings of the 16th international conference on Hybrid systems: computation and control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2461328.2461362
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
Uses Software