OpenBU

Browsing College of Arts and Sciences by Subject "Protocol verification"

OpenBU

Browsing College of Arts and Sciences by Subject "Protocol verification"

Sort by: Order: Results:

  • Bradley, Adam D.; Bestavros, Azer; Kfoury, Assaf J. (Boston University Computer Science Department, 2002-09-08)
    Formal tools like finite-state model checkers have proven useful in verifying the correctness of systems of bounded size and for hardening single system components against arbitrary inputs. However, conventional applications ...

Search OpenBU


Browse

Deposit Materials

Statistics