Michael W Whalen


Accepting PhD Students

PhD projects

AMASE: Model based safety analysis
ARCHER: Compositional verification of systems-of-systems
SNOW CRASH: White box fuzz testing


Research activity per year

Other chapter contribution

Search results

  • 2010

    Model checking information flow

    Whalen, M. W., Greve, D. A. & Wagner, L. G., 2010, Design and Verification of Microprocessor Systems for High-Assurance Applications. Springer US, p. 381-428 48 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

    12 Scopus citations