Susan Gerhart

• Industrial applications of formal methods to model, design, and analyze computer systems