AvocSoft

Displaying 1-1 of 1 results

  • White Papers // Jan 2013

    Software Verification with VeriFast: Industrial Case Studies

    In this paper, the authors present a series of four industrial case studies in software verification. They applied VeriFast, a sound and modular software verifier based on separation logic, to two Java card smart card applets, a Linux device driver, and an embedded Linux network management component, the latter two...

    Provided By AvocSoft

  • White Papers // Jan 2013

    Software Verification with VeriFast: Industrial Case Studies

    In this paper, the authors present a series of four industrial case studies in software verification. They applied VeriFast, a sound and modular software verifier based on separation logic, to two Java card smart card applets, a Linux device driver, and an embedded Linux network management component, the latter two...

    Provided By AvocSoft