32032 search results - page 135 / 6407 » Verified programming in Guru |
126
Voted
AMC
2005
15 years 6 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...
189
click to vote
PROVSEC
2010
Springer
15 years 4 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...
152
click to vote
TPHOL
2008
IEEE
16 years 14 days 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...
179
Voted
ASWEC
2007
IEEE
16 years 13 days 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...
145
click to vote
FMCAD
2007
Springer
16 years 8 days 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...