×
  • Share
  • Email
  • Embed
  • Like
  • Save
  • Private Content
 

PROCEED and Crowd-Sourced Formal Verification

by on Nov 22, 2011

  • 1,158 views

Presentation from the Colloquium on Future Directions in Cyber Security on Nov 7, 2011.

Presentation from the Colloquium on Future Directions in Cyber Security on Nov 7, 2011.

Statistics

Views

Total Views
1,158
Views on SlideShare
1,013
Embed Views
145

Actions

Likes
0
Downloads
7
Comments
0

3 Embeds 145

http://negativefoo.org 142
http://negativefoo.block86.com 2
http://www.linkedin.com 1

Accessibility

Categories

Upload Details

Uploaded via SlideShare as Adobe PDF

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
Post Comment
Edit your comment

PROCEED and Crowd-Sourced Formal Verification PROCEED and Crowd-Sourced Formal Verification Presentation Transcript