Efficient runtime invariant checking

Document Details

Document Type
Pub Defense Publication
Publication Date
Jul 21, 2008
Source ID
10.1145/1401827.1401837

Entities

People

  • Michael Gorbovitski
  • Scott D. Stoller
  • Tom Rothamel
  • Yanhong A. Liu

Organizations

  • Division of Computer and Network Systems
  • Division of Computing and Communication Foundations
  • National Science Foundation
  • Office of Naval Research
  • Stony Brook University