×

IDLVALID

swMATH ID: 20417
Software Authors: Pandya, Paritosh K.
Description: IDLVALID : Model Checking Dense Time Duration Calculus Formulae. Duration Calculus is a dense time interval temporal logic with constructs which allow measurement of amount of time for which a proposition holds in a time interval. Interval Duration Logic is its variant where models are finite timed state sequences. An number of examples illustrate the expressive abilities of these logics. While the validity of formulae in these logics is undecidable, for practical applicability there has been considerable interest in finding techniques and tools for validity and model checking of formulae of these logics. However, there are very few available tools implementing these approaches.
Homepage: http://www.tcs.tifr.res.in/~pandya/idlvalid.html
Related Software: DCVALID; Uppaal; Kronos; MONA; Modechart; ICS; Isabelle; ARMC; HyTech; MoDeST; NuSMV; Rabbit
Cited in: 10 Documents
all top 5

Cited by 15 Authors

7 Pandya, Paritosh K.
2 Chakraborty, Supratik
2 Krishna, Shankara Narayanan
1 Chakravorty, Gaurav
1 Della Monica, Dario
1 Faber, Johannes
1 Goranko, Valentin F.
1 Hoenicke, Jochen
1 Konur, Savas
1 Loya, Kuntal
1 Meyer, Roland
1 Rybalchenko, Andrey
1 Sciavicco, Guido
1 Sharma, Babita
1 Thomas, Dina

Cited in 2 Serials

1 Formal Aspects of Computing
1 Frontiers of Computer Science

Cited in 2 Fields

8 Mathematical logic and foundations (03-XX)
8 Computer science (68-XX)

Citations by Year