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
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) |