A mixed decision method for duration calculus

DOI10.1093/logcom/10.6.877zbMath0965.03013OpenAlexW2141330622MaRDI QIDQ4528041

Luis Fariñas del Cerro, Nathalie Chetcuti-Sperandio

Publication date: 29 January 2001

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

Full work available at URL: https://semanticscholar.org/paper/cf3d63f54cd82d792d6115909e4ec2e3ab31ad52

zbMATH Keywords

software engineeringautomated deductionrepresentation of time

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mechanization of proofs and logical operations (03B35) Temporal logic (03B44)

Related Items (5)

A survey on temporal logics for specifying and verifying real-time systems ⋮ A general tableau method for propositional interval temporal logics: theory and implementation ⋮ A Road Map of Interval Temporal Logics and Duration Calculi ⋮ A Road Map of Interval Temporal Logics and Duration Calculi ⋮ Decidability of a Hybrid Duration Calculus

This page was built for publication: A mixed decision method for duration calculus