783 search results - page 80 / 157 » Compositional Reasoning in Model Checking |
121
click to vote
POPL
2000
ACM
15 years 6 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
140
Voted
CIIA
2009
15 years 3 months ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...
136
Voted
IJIS
2002
15 years 2 months ago
2002
Dynamics are an important aspect of agent models. Control of dynamics requires specific methods of specification that have their own specific semantics. This paper addresses speci...
117
Voted
AUSAI
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We present a semantic model of typicality of concept members in description logics that accords well with a binary, globalist cognitive model of class membership and typi...
110
click to vote
CSFW
1999
IEEE
15 years 6 months ago
1999
IEEE
The combination of two security protocols, a simple shared-key communication protocol and the Di e-Hellman key distribution protocol, is modeled formally and proved correct. The m...