1407 search results - page 42 / 282 » Using Use Cases in Executable Z |
124
Voted
SC
2005
ACM
15 years 8 months ago
2005
ACM
In developing High-Performance Computing (HPC) software, time to solution is an important metric. This metric is comprised of two main components: the human effort required develo...
116
click to vote
FORTE
2008
15 years 4 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
141
Voted
MASCOTS
2004
15 years 3 months ago
2004
In this paper, we describe the dual-processor parallelisation of a symbolic (BDD-based) implementation of probabilistic model checking. We use multi-terminal BDDs, which allow a c...
109
Voted
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
During testing, the execution of valid cases is only one part of the task. Checking the behavior in boundary situations and in the presence of errors is an equally important subje...
112
Voted
MMB
2010
Springer
15 years 4 months ago
2010
Springer
We present a tool for the analysis of fault-tolerance in packet-switched communication networks. Network elements like links or routers can fail or unexpected traffic surges may o...