Compositional verification of real-time systems with explicit clock temporal logic
type: Item
instance of: scholarly article
title: Compositional verification of real-time systems with explicit clock temporal logic
zbMATH Open document ID: 0852.68056
DOI: 10.1007/BF01214917
author: Ping Zhou
author: Ruurd Kuiper
author: Jozef Hooman
published in: Formal Aspects of Computing
publication date: 1996-07-23T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 68M99
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68U99
zbMATH DE Number: 907983
zbMATH Keywords: explicit clock temporal logic
zbMATH Keywords: real-time systems
MaRDI profile type: Publication
cites work: Real-time logics: Complexity and expressiveness
cites work: Real time process algebra
cites work: A calculus of durations
cites work: Q4144755
cites work: Specification and compositional verification of real-time systems
cites work: Q3859249
cites work: Q3997074
cites work: Specifying message passing and time-critical systems with temporal logic
cites work: Compositional semantics for real-time distributed computing
cites work: Q3939208
cites work: Q4002642
cites work: Proving Liveness Properties of Concurrent Programs
cites work: Q4207573
cites work: Q3725534
description: scientific article; zbMATH DE number 907983