Kyungmin Lee *, Jason Flinn *, T.J. Giuli +, Brian Noble *, and Christopher Peplin + University of Michigan * Ford Motor Company + AMC: Verifying User.
Hybrid Program Analysis for Error Detection
Model-Based Design and Verification of Embedded Systems
Scattercast: Taming Internet Multicast
Towards High-Assurance Hypervisors
About Alternating Automata
Yatin Chawathe [email protected] Research Menlo Park Scattercast: Taming Internet Multicast 02/08/2001.
Software Model Checking with SMT