2878 search results - page 200 / 576 » Model Checking FTA |
138
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...
138
click to vote
FUIN
2010
15 years 26 days ago
2010
Bounded Model Checking (BMC) is an efficient technique applicable to verification of temporal properties of (timed) distributed systems. In this paper we show for the first time ho...
227
Voted
CONCUR
2011
Springer
14 years 3 months ago
2011
Springer
The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. U...
134
Voted
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...
130
Voted
DLOG
2009
15 years 1 months ago
2009
A crucial task in process management is the validation of process refinements. A process refinement is a process description in a more fine-grained representation. The refinement i...