OpenBU

Browsing CAS: Computer Science: Technical Reports by Subject "Formal methods"

OpenBU

Browsing CAS: Computer Science: Technical Reports by Subject "Formal methods"

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