1894 search results - page 75 / 379 » A TLA Proof System |
FMICS
2007
Springer
15 years 6 months ago
2007
Springer
Using PVS (Prototype Verification System), we prove that an industry designed scheduler for a smartcard personalization machine is safe and optimal. This scheduler has previously ...
76
Voted
AINA
2005
IEEE
15 years 6 months ago
2005
IEEE
An RFID tag is a small and cheap device which is combined in IC chip and an antenna for radio communications. The tag is used for management of goods and its distribution. Moreove...
105
click to vote
ASM
2010
ASM
15 years 4 months ago
2010
ASM
Symmetry reduction is a model checking technique that can help alleviate the problem of state space explosion, by preventing redundant state space exploration. In previous work, we...
133
Voted
JAR
2008
15 years 21 days ago
2008
This article presents detailed implementations of quantifier elimination for both integer and real linear arithmetic for theorem provers. The underlying algorithms are those by Coo...
115
Voted
IJNSEC
2011
14 years 7 months ago
2011
In this paper, we reinvestigate the security analysis of blind signature scheme over braid groups proposed by Verma in 2008. A blind signature scheme is a cryptographic primitive ...