Machine-checking the timed interval calculus

DOI10.1007/3-540-36187-1_9MaRDI QIDQ4415138zbMATH OpenFDO

Authors Rajeev Goré, Jeremy E. Dawson

Publication date 28 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2557/25570095.htm

zbMATH Keywords

automated reasoningReasoning about timetheorem proving

Mathematics Subject Classification ID

Recommendations

• Verification of timed automata via satisfiability checking
• Model-checking dense-time duration calculus
• Model-checking timed temporal logics
• Verified model checking of timed automata
• scientific article; zbMATH DE number 5024617
• Interrupt timed automata: verification and expressiveness
• scientific article; zbMATH DE number 2112985
• Model checking for timed logic processes
• Checking temporal duration properties of timed automata.
• Verified certification of reachability checking for timed automata

Cited in

(2)

• Induction in the timed interval calculus
• Axiomatisation of an interval calculus for theorem proving

Describes a project that uses

Uses Software

• Isabelle

This page was built for publication: Machine-checking the timed interval calculus

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