Publication | Closed Access
Explicit clock temporal logic
136
Citations
6
References
2002
Year
Unknown Venue
Formal LogicExpressive PowerFormal SpecificationEngineeringAutomated ReasoningFinite State ProgramsXctl FormulasFormal MethodsSystems EngineeringReal-time SystemsComputer ScienceTemporal LogicModel CheckingTimed SystemFormal VerificationTemporal ReasoningTemporal Database
The authors present a single exponent decision procedure for the validity of XCTL formulas, and a double exponent decision procedure for the validity of XCTL formulas over finite state programs (model checking). The expressive power of XCTL is compared with that of some other logics proposed for the expression of real time properties. It is shown that it is incomparable with the expressive power of the recently proposed logic TPTL (timed propositional temporal logic).< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
| Year | Citations | |
|---|---|---|
Page 1
Page 1