Composing and refining dense temporal logic specifications

DOI10.1007/s001650070036zbMath0963.68136OpenAlexW2010562413MaRDI QIDQ1586168

Antonio Cau

Publication date: 14 November 2000

Published in: Formal Aspects of Computing (Search for Journal in Brave)

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

zbMATH Keywords

temporal logicverification of reactive systems

Mathematics Subject Classification ID

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

Related Items (1)

A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus

This page was built for publication: Composing and refining dense temporal logic specifications