5015 search results - page 441 / 1003 » Model Checking a Path |
218
click to vote
JSAC
2007
15 years 7 months ago
2007
Abstract— In this paper we consider the problem of provisioning spare capacity in two-layer backbone networks using shared backup path protection. First, two spare capacity alloc...
204
click to vote
ICWE
2005
Springer
16 years 1 months ago
2005
Springer
A methodology needs to be empowered by appropriate tool support. The CASE tool ArgoUWE supports designers in the use of the UWE methodology for the systematic, UML-based developmen...
193
click to vote
RE
2001
Springer
16 years 1 days ago
2001
Springer
at different levels of abstraction. There are two very different ways of using such languages. One approach is based on the manifestation of a single model, with construction of di...
201
click to vote
SPIN
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...
187
click to vote
ICFP
2007
ACM
16 years 7 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...