12981 search results - page 314 / 2597 » Model Checking (Abstract) |
134
click to vote
EUC
2008
Springer
15 years 5 months ago
2008
Springer
Static path analysis is a key process of Worst Case Execution Time (WCET) estimation, the objective of which is to find the execution path that has the largest execution time. Cur...
144
Voted
STTT
2008
15 years 3 months ago
2008
Explicit model checking algorithms explore the full state space of a system. State spaces are usually treated as directed graphs without any specific features. We gather a large co...
163
click to vote
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
138
click to vote
CBSE
2006
Springer
15 years 7 months ago
2006
Springer
Ideally in the deployment phase, components should be composable, and their composition checked. Current component models fall short of this ideal. Most models do not allow composi...
133
click to vote
QEST
2007
IEEE
15 years 10 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...