Duration Calculus

More documents

Recommendations

Info

Signed Interval Logic [Engel Rischel 94] Intervals with a direction i i φ ⌢ ψ > j φ > k for some k < ψ Tallinn, November 17- 21, Michael R. Hansen – p.24/29
Signed Interval Logic [Engel Rischel 94] Intervals with a direction i i φ ⌢ ψ > j φ > k for some k < ψ Proof theory and Theorem Proving Rasmussen 02 • Proof systems encoded in Isabelle/HOL • Encoding of Neighbourhood Logic (+ DC) • Example: Gas burner, Scheduling, Availability Pilegaard 02 Tallinn, November 17- 21, Michael R. Hansen – p.24/29
Page 1 and 2:
Duration Calculus A formal approach
Page 3 and 4: Overview: Today • Basic Duration
Page 5 and 6: Overview: Today • Basic Duration
Page 7 and 8: Background • Provable Correct Sys
Page 13 and 14: Interval Logic [Halpern Moszkowski
Page 15 and 16: Interval Logic [Halpern Moszkowski
Page 17 and 18: Duration Calculus [Zhou Hoare Ravn
Page 19 and 20: Duration Calculus [Zhou Hoare Ravn
Page 21 and 22: Example: Gas Burner Requirement Des
Page 23 and 24: Interval Logic: Proof System 2 [Dut
Page 25 and 26: Duration Calculus: Proof System [ZH
Page 27 and 28: Duration Calculus: Induction Rules
Page 29 and 30: Induction rule: Intuition • H(
Page 35 and 36: Decidability [Zhou Hansen Sestoft 9
Page 37 and 38: Decidability [Zhou Hansen Sestoft 9
Page 39 and 40: Undecidability Even small extension
Page 45 and 46: Model-checking 2 • Each run is re
Page 47 and 48: Some Extensions - a brief survey
Page 49 and 50: Real State Model [Zhou Ravn Hansen
Page 51 and 52: Expanding Modalities 1 To capture (
Page 53: Signed Interval Logic [Engel Rische
Page 57 and 58: Availability Pilegaard Hansen Sharp
Page 59 and 60: Multi-threaded Server Rdy i : Time
Page 61 and 62: Events in security protocols A →
show all

Duration Calculus

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?