Browsing CAS: Computer Science: Technical Reports by Subject "Language reduction"

OpenBU

Browsing CAS: Computer Science: Technical Reports by Subject "Language reduction"

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