View reviews for professors for this course View On Testudo

ENPM643

Systems Projects, Validation and Verification

This course builds on material covered in ENSE621/ENPM641 and ENSE622/ENPM642. Topics wil cover established and emerging approaches to system validation and verification including; inspection, testing, and traceability; writing validation and verification plans; formal approaches to sytem validation and verification; specification-based testing; role of logic in system validation and verification; automation models of computation, timed automation; model-based design and model checking for reactive systems. Students will be introduced to software tools for specification-based testing, model-based testing, model-based design and model checking. Students will work in teams on semester-long projects in systems engineering design and formal approaches to system validation and verification.

Past Semesters

6 reviews
Average rating: 2.83

0 reviews
Average rating: Not yet rated

0 reviews
Average rating: Not yet rated

0 reviews
Average rating: Not yet rated

No grade data available for this course