556 search results - page 17 / 112 » Checking Interval Properties of Computations |
ASPDAC
2006
ACM
15 years 8 months ago
2006
ACM
— Lack of complete formal specification is one of the major obstacles for the deployment of model checking. Coverage estimation addresses this issue by revealing the unverified...
100
click to vote
CAV
2004
Springer
15 years 7 months ago
2004
Springer
Verifying whether an ω-regular property is satisfied by a finite-state system is a core problem in model checking. Standard techniques build an automaton with the complementary ...
118
click to vote
QEST
2008
IEEE
15 years 8 months ago
2008
IEEE
In [3] a probabilistic semantics for timed automata has been defined in order to rule out unlikely (sequences of) events. The qualitative model-checking problem for LTL propertie...
142
click to vote
ESEC
1997
Springer
15 years 6 months ago
1997
Springer
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
152
click to vote
SIGCOMM
2012
ACM
13 years 4 months ago
2012
ACM
Contact interval between moving vehicles is one of the key metrics in vehicular ad hoc networks (VANETs), which is important to routing schemes and network capacity. In this work,...