13 search results - page 1 / 3 » Symbolic Abstraction and Deadlock-Freeness Verification of I... |
BPM
2009
Springer
14 years 2 months ago
2009
Springer
ESWS
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
ICIP
2006
IEEE
15 years 15 days ago
2006
IEEE
Abstract-- This paper presents an authentication watermarking method which can localize the tampering regions in fine granularity. Unlike the previous block-wise Tampering-Localiza...
CAV
2000
Springer
14 years 2 months ago
2000
Springer
xample-Guided Abstraction Refinement for Symbolic Model Checking EDMUND CLARKE YUAN LU Carnegie Mellon University, Pittsburgh, Pennsylvania Broadcom Co., San Jose, California ORNA ...
APN
2008
Springer
14 years 26 days ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...