Browsing Computer Science by Subject "Formal methods"

OpenBU

Browsing Computer Science 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


Advanced Search

Browse

Deposit Materials