Tableau-based automated deduction for duration calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2381 LNAI, Issue , 2002, Pages 53-69

  Chetcuti Sperandio, Nathalie ^a  

^a IRIT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; CALCULATIONS; COMPUTER CIRCUITS; INTERACTIVE COMPUTER SYSTEMS; SEMANTICS; THEOREM PROVING;

AUTOMATED DEDUCTION; DECISION METHOD; DURATION CALCULUS;

REAL TIME SYSTEMS;

EID: 34249744772     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45616-3_5     Document Type: Conference Paper

References (13)

1. Nathalie Chetcuti-Sperandio. Déduction automatique en calcul des dureés basé e sur la méthode des tableaux. PhD thesis, Université Toulouse 3, December 2001.
2. N. Chetcuti-Sperandio and L. Farinãs del Cerro. A Mixed Decision Method for Duration Calculus. Journal of Logic and Computation, 10(6):877-895, 2000.
3. M. Fränzle. Synthesizing Controllers from Duration Calculus. In FTRTFT'96, Volume 1135 of LNCS, pages 168-187, 1996.
4. M. Fränzle. Controller Design from Temporal Logic: Undecidability Need Not Matter. PhD thesis, Christian-Albrechts-Universität, Kiel, Germany, 1997.
5. M. Fränzle. Model-Checking Dense-Time Duration Calculus. Formal Aspects of Computing, 2002. to appear.
6. J. Halpern, Z. Manna, and B. Moszkowski. A Hardware Semantics Based on Temporal Intervals. In ICALP'83, Volume 154 of LNCS, pages 278-291, 1983.
7. A. P. Ravn, H. Rischel, and K. M. Hansen. Specifying and Verifying Requirements of Real-Time Systems. IEEE Transactions on Software Engineering, 19(1):41-55, 1993.
8. J. U. Skakkebæk and P. Sestoft. Checking Validity of Duration Calculus Formulas. Technical Report ID/DTH JUS 3/1, Technical University of Denmark, 1994.
9. M. Satpathy, D. Van Hung, and P. K. Pandya. Some Decidability Results for Duration Calculus under Synchronous Interpretation. In FTRTFT'98, Volume 1486 of LNCS, pages 186-197, 1998.
10. Z. Yuhua and C. Zhou. A Formal Proof of the Deadline Driven Scheduler. In FTRTFT'94, Volume 863 of LNCS, pages 756-775, 1994.
11. C. Zhou, C. A. R. Hoare, and A. P. Ravn. A calculus of durations. information processing letters, 40(5):269-276, 1991.
12. C. Zhou, M. R. Hansen, A. P. Ravn, and H. Rischel. Duration Specifications for Shared Processors. In FTRTFT'92, Volume 571 of LNCS, pages 21-32, 1992.
13. C. Zhou, M. R. Hansen, and P. Sestoft. Decidability and Undecidability Results for Duration Calculus. In STACS '93, Volume 665 of LNCS, pages 58-68, 1993.