23rd Annual Conference On Foundations Of Software Technology And Theoretical Computer Science (2003)
Interval Duration Logic: Expressiveness and Decidability (2002)
We investigate a variant of dense-time Duration Calculus which permits model checking using timed/hybrid automata. We define a variant of the Duration Calculus, called Interval Duration Logic, (IDL),...
Quantified Discrete-time Duration Calculus, (QDDC), is a form of interval temporal logic [14]. It is well suited to specify quantitative timing properties of synchronous systems. It is a highly...
Interval Duration Logic: Expressiveness and Decidability (2001)
The notion of timed state sequences has found widespread use for modelling behaviour of real-time systems [1]. In this paper, we define a variant of the Duration Calculus, called Interval Duration...
Model Checking CTL*[DC] (2000)
We define a logic called CTL*[DC] which extends CTL* with ability to specify past-time properties using the formulae of Quantified Discretetime Duration Calculus (QDDC). Alternately, we can consider...
Specifying and Deciding Quantified Discrete-time Duration Calculus Formulae using DCVALID (2000)
Quantified Discrete-time Duration Calculus (QDDC) is a logic for specifying properties of finite sequences of states. It provides novel interval based modalities to specify how a system evolves with...
Model Checking CTL[DC] properties of SMV, Verilog and Esterel Designs (2000)
We have recently proposed a simple extension of CTL to logic CTL[DC]. This logic extends CTL with the ability to specify the past of a node a computation tree as a QDDC formula. Many complex...
Duration Calculus of Weakly Monotonic Time (1999)
Paritosh K. Pandya, Dang Van Hung
. We extend Duration Calculus to a logic which allows description of Discrete Processes where several steps of computation can occur at the same time point. The resulting logic is called Duration...
Some Results on the Decidability of Duration Calculus under Synchronous Interpretation (1997)
Manoranjan Satpathy, Dang Van Hung, Paritosh K. Pandya
Duration Calculus (or DC in short) presents a formal notation to specify properties of realtime systems and a calculus to formally prove such properties. Decidability is the underlying foundation to...
Compositional verification of distributed programs / (1988)
Thesis (doctoral)--Tata Institute of Fundamental Research, 1988.