Skip to main content
Science of Security Virtual Organization

Header Menu

  • Research
    • Virtual Institutes
    • Lablets
    • Projects
    • Publications
  • HotSoS
  • Competitions
    • Cybersecurity Paper Competition
    • ISEF
  • Conferences
    • HCSS
    • HotSoS
    • C3E
Not a member? Forgot your password?

Hamburger Menu

  • Home
  • Projects
  • News
  • Events
Software Certification Consortium
The 23rd SCC Meeting will be held in Annapolis, Maryland on May 15-16, 2025.

Register for the May Meeting

  • Agenda
  • Venue
  • Past Meetings

Breadcrumb

  • Home /
  • /
  • Finally: Practical Formal Verification of Large Software Systems

Finally: Practical Formal Verification of Large Software Systems

Download
Tags:
    Meeting #10
    Presentation
Submitted by Paul Joannou on Tue, 01/15/2013 - 05:40
© 2025 Science of Security Virtual Organization

Footer

  • Terms
  • Follow Us on X