Our Heroes
Who Inspired Us
E. Allen Emerson
Contribution
Model checking, formal verification
Bio
Stories
Useful Links
Tags