Sciweavers

RELMICS
2000
Springer

A Decision Method for Duration Calculus

13 years 7 months ago
A Decision Method for Duration Calculus
Abstract: The Duration Calculus is an interval logic introduced for designing realtime systems. This calculus is able to capture important real-time problems like the speci cation of the behaviours of schedulers and classical examples like a gas burner. From a practical point of view an important challenge becomes to de ne automated proof procedures for this calculus. Since the propositional calculus is undecidable, we are interested then into isolating decidable fragments of this calculus. A rst fragment was given and its decidability proved via regular languages. In this paper we isolate another fragment and we de ne a tableau method which gives a natural procedure to decide whether a given formula is satis able. Key Words: Duration Calculus, automated deduction, tableau method. Category: D.2.1, F.4.1, I.2.3, I.2.4
Nathalie Chetcuti-Sperandio, Luis Fariñas d
Added 25 Aug 2010
Updated 25 Aug 2010
Type Conference
Year 2000
Where RELMICS
Authors Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro
Comments (0)