×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [proving correctness]
Home >
proving correctness
RPC Mixing: Making Mix-Nets Robust for Electronic Voting Ron Rivest MIT Markus Jakobsson Ari Juels RSA Laboratories.
212 views
272: Software Engineering Fall 2012 Instructor: Tevfik Bultan Lecture 4: SMT-based Bounded Model Checking of Concurrent Software.
218 views