783 search results - page 96 / 157 » Compositional Reasoning in Model Checking |
123
click to vote
IS
2010
15 years 27 days ago
2010
Existing Digital Rights Management systems, initiatives like Creative Commons or research works as some digital rights ontologies provide limited support for content value chains m...
CBSE
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper discusses various classifications of component interoperability errors.These classifications aim at supporting the automation of component adaptation. The us...
ACSD
2004
IEEE
15 years 6 months ago
2004
IEEE
Abstract. A delay-insensitive module communicates with its environment through wires of unbounded delay. To avoid transmission interference, the absorption of a signal transition m...
112
click to vote
CAV
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...
135
click to vote
PLDI
2004
ACM
15 years 7 months ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...