Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
ENSE 623 Systems Validation and Verification Emerging Approaches to System Validation/Verification
 

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