32032 search results - page 135 / 6407 » Verified programming in Guru |
110
click to vote
AMC
2005
15 years 4 months ago
2005
A multisignature scheme for specified group of verifiers needs a group of signers' cooperation to sign a message to a specified group of verifiers that must cooperate to check...
162
click to vote
PROVSEC
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Signcryption as a single cryptographic primitive offers both confidentiality and authentication simultaneously. Generally in signcryption schemes, the message is hidden a...
136
Voted
TPHOL
2008
IEEE
15 years 11 months ago
2008
IEEE
Correctness of many hybrid and distributed systems require stability and convergence guarantees. Unlike the standard induction principle for verifying invariance, a theory for veri...
149
Voted
ASWEC
2007
IEEE
15 years 11 months ago
2007
IEEE
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
117
Voted
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
—We show how to verify the correctness of transactional memory implementations with a model checker. We show how to specify transactional memory in terms of the admissible interc...