[ Software Testing ]  [ Software Engineering ]  [ Software Development ] 

• Model-Based Verification - An Overview
• Model-Based Verification (MBV) for Software
• Model-Based Verification: Guidelines for Generating Expected Properties
• Research & Projects - Model-based Verification

---