A mixed decision method for duration calculus

DOI10.1093/LOGCOM/10.6.877MaRDI QIDQ4528041zbMATH OpenOpenAlexFDO

Authors Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro

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

automated deductionrepresentation of timesoftware engineering

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1543326
• scientific article; zbMATH DE number 1950253
• scientific article; zbMATH DE number 512815
• A calculus of durations
• Decidability of a hybrid duration calculus

Cited in

(10)

• A survey on temporal logics for specifying and verifying real-time systems
• A general tableau method for propositional interval temporal logics: theory and implementation
• Decidability of a hybrid duration calculus
• scientific article; zbMATH DE number 512815 (Why is no real title available?)
• scientific article; zbMATH DE number 1950253 (Why is no real title available?)
• scientific article; zbMATH DE number 1543326 (Why is no real title available?)
• STUDY ON LONGER AND SHORTER BOUNDARY DURATION VECTORS WITH ARBITRARY DURATION AND COST VALUES
• Deciding an Interval Logic with Accumulated Durations
• A Road Map of Interval Temporal Logics and Duration Calculi
• A Road Map of Interval Temporal Logics and Duration Calculi

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4528041)