Software Testing Types.doc
Reducing Risk by Managing Software Related Failures in Networked Control Systems Girish Baliga, Google, Inc Scott Graham, Air Force Inst. of Technology.
Jianwei Niu [email protected] University of Waterloo Mapping Specification Notations to Analysis Tools.
Program verification -- 096229
Distributed Components, Model Driven Engineering & Specification Formalisms
Formal Methods in SE Software Verification Using Formal Methods By: Qaisar Javaid, Assistant Professor Formal Methods1.
CS252r: Advanced Topics in Programming Languages