11 search results - page 1 / 3 » Model Checking for ACL Compliance Verification |
AGENTCL
2003
Springer
13 years 8 months ago
2003
Springer
CAISE
2010
Springer
13 years 6 months ago
2010
Springer
For enterprises it has become crucial to check compliance of their business processes with certain rules such as medical guidelines or financial regulations. When automating compli...
ACL2
2006
ACM
13 years 8 months ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...
ATAL
2008
Springer
13 years 6 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
FMCO
2008
Springer
13 years 6 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...