1528 search results - page 42 / 306 » Performance Assertion Checking |
CORR
2008
Springer
13 years 9 months ago
2008
Springer
In this paper, a simple and effective tool for the design of low-density parity-check (LDPC) codes for iterative correction of bursts of erasures is presented. The design method co...
CSFW
2002
IEEE
14 years 1 months ago
2002
IEEE
We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...
SAC
2010
ACM
13 years 6 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
QEST
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Abstract--This paper focuses on data structures for multicore reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of a...