1 hr 26 min

System Validation: 8. Parallel Processes: Theory part 2 System Validation

    • Courses

IN4387. The purpose of this course is to learn how to specify the behavior of embedded systems and to experience the design of a provably correct system. In this course you will learn how to formally specify requirements and to prove (or disprove) them on the behaviour. With a practical assignment you will experience how to apply the techniques in practice.

  • © Delft University of Technology

IN4387. The purpose of this course is to learn how to specify the behavior of embedded systems and to experience the design of a provably correct system. In this course you will learn how to formally specify requirements and to prove (or disprove) them on the behaviour. With a practical assignment you will experience how to apply the techniques in practice.

1 hr 26 min

  • © Delft University of Technology

More by Delft University of Technology

Introduction to Aerospace Engineering I
Introduction to Aerospace Engineering I
Delft University of Technology
Wastewater Treatment
Wastewater Treatment
Delft University of Technology
Measurement Science
Measurement Science
Delft University of Technology
Digital Signal Processing
Digital Signal Processing
Delft University of Technology
Agent Based Modeling of Complex Adaptive Systems
Agent Based Modeling of Complex Adaptive Systems
Delft University of Technology
Analog Integrated Circuit Design
Analog Integrated Circuit Design
Delft University of Technology