Model checking information flow

Michael W Whalen, David A Greve, Lucas G. Wagner

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

12 Scopus citations
Original languageUndefined/Unknown
Title of host publicationDesign and Verification of Microprocessor Systems for High-Assurance Applications
PublisherSpringer US
Pages381-428
Number of pages48
StatePublished - 2010

Cite this

Whalen, M. W., Greve, D. A., & Wagner, L. G. (2010). Model checking information flow. In Design and Verification of Microprocessor Systems for High-Assurance Applications (pp. 381-428). Springer US.