899 search results - page 54 / 180 » Cost Analysis of Games, Using Program Logic |
102
click to vote
CIA
2007
Springer
15 years 6 months ago
2007
Springer
Recognizing that trust states are mental states, this paper presents a formal analysis of the dynamics of trust in terms of the functional roles and representation relations for tr...
TCIAIG
2010
14 years 6 months ago
2010
Abstract--Fingerprinting operators generate functional signatures of game players and are useful for their automated analysis independent of representation or encoding. The theory ...
CCS
2008
ACM
15 years 1 months ago
2008
ACM
A recent development in formal security protocol analysis is the Protocol Composition Logic (PCL). We identify a number of problems with this logic as well as with extensions of t...
121
click to vote
TCAD
2008
14 years 11 months ago
2008
Functional correctness is a vital attribute of any hardware design. Unfortunately, due to extremely complex architectures, widespread components, such as microprocessors, are often...
VMCAI
2009
Springer
15 years 6 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...