Verification of clocked and hybrid systems

DOI10.1007/s002360050177zbMath0957.68073OpenAlexW2081995564MaRDI QIDQ1579058

Yonit Kesten, Amir Pnueli, Zohar Manna

Publication date: 22 November 2000

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s002360050177

zbMATH Keywords

clocked transition system

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Differential dynamic logic for hybrid systems, Deductive verification of real-time systems using STeP