2312 search results - page 39 / 463 » Invariance in Property Testing |
PASTE
2004
ACM
14 years 3 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
AES
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. While it is known previously that the cycle lengths of individual components of the AES round function are very small, we demonstrate here that the cycle length of the S-...
CAV
2007
Springer
14 years 4 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
ICPR
2010
IEEE
14 years 1 months ago
2010
IEEE
—In this paper, we propose a method to model the material constants (Young’s modulus) of the skin in subregions of the face from the motion observed in multiple facial expressi...
FMSD
2000
13 years 9 months ago
2000
We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions o...