858 search results - page 95 / 172 » Formal Verification of Digital Systems |
115
click to vote
ASM
2008
ASM
15 years 1 months ago
2008
ASM
Abstract. The Mondex case study concerns the formal development and verification of an electronic purse protocol. Several groups have worked on its specification and mechanical ver...
109
click to vote
ACSD
2006
IEEE
15 years 1 months ago
2006
IEEE
Reuse of IP blocks has been advocated as a means to conquer the complexity of today's system-on-chip (SoC) designs. Component integration and verification in such systems is ...
110
click to vote
FASE
2008
Springer
15 years 24 days ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
129
click to vote
ASIAN
2009
Springer
15 years 5 days ago
2009
Springer
In cryptographic protocols, zero knowledge proofs are employed for a principal A to communicate some non-trivial information t to B while at the same time ensuring that B cannot de...
92
Voted
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
Business contracts tend to be complex. In current practice, contracts are often designed by hand and adopted by their participants after, at best, a manual analysis. This paper mo...