1633 search results - page 72 / 327 » On the Verification of Temporal Properties |
CORR
2008
Springer
13 years 7 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
TIP
2002
13 years 7 months ago
2002
In this paper, a generic approach to simultaneous tracking and verification in video data is presented. The approach is based on posterior density estimation using sequential Monte...
IVC
2006
13 years 7 months ago
2006
We present a face verification system inspired by known properties of the human visual system. In the proposed algorithm the face is normalized for geometry and luminance, and Fou...
CAV
2009
Springer
14 years 8 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
VMCAI
2010
Springer
14 years 5 months ago
2010
Springer
We present an automatic verification procedure based on RGSep that is suitable for reasoning about fine-grained concurrent heapmanipulating programs. The procedure computes a set o...