7 search results - page 1 / 2 » Durations and parametric model-checking in timed automata |
ENTCS
2007
13 years 4 months ago
2007
Bounded Model Checking (BMC) is a successful refutation method to detect errors in not only circuits and other binary systems but also in systems with more complex domains like ti...
TACAS
2001
Springer
13 years 8 months ago
2001
Springer
TOCL
2008
13 years 4 months ago
2008
ENTCS
2002
13 years 4 months ago
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 Du...
RTSS
2008
IEEE
13 years 10 months ago
2008
IEEE
In this paper, we address the problem of symbolically computing the region in the parameter’s space that guarantees a feasible schedule, given a set of real-time tasks character...