Logical specification of reactive and real-time systems

DOI10.1093/LOGCOM/8.5.679zbMath0913.03028OpenAlexW2121932668MaRDI QIDQ4221300

Kevin Lano

Publication date: 3 January 1999

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/8.5.679

zbMATH Keywords

real-time systemsformal specificationlinear temporal logicreactive systemsinterval logicreal-time logicobject-oriented specification

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Logical specification of reactive and real-time systems