Summary: ENSE 623 Systems Validation and Verification
Emerging Approaches to System Validation/Verification
Mark Austin
E-mail: austin@isr.umd.edu
Institute for Systems Research, University of Maryland, College Park
­ p. 1/5
Table of Contents
1. Limitation of Established Approaches to Validation/Verification
2. Formal Approaches to Validation and Verification
4. Transition Systems
5. Finite State Automata
6. Automata Constructions
7. Model Checking
8. Synthesis of Automata from Sequence Diagrams
9. Case Study: Management of Narrow Passageways
10. Generalized Railroad Crossing Problem
­ p. 2/5
Limitations of Established Approaches to V&V
Definition and Complementary Roles
· Verification "are we building the product right?"

Source: Austin, Mark - Institute for Systems Research & Department of Civil and Environmental Engineering, University of Maryland at College Park

Collections: Engineering