Sign up to save your podcasts
Or
Share System Validation: 3. Weak behavioral equivalences part 2
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
System Validation: 3. Weak behavioral equivalences part 2
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.
View all episodes
By 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.
More shows like System Validation
View all
Agent Based Modeling of Complex Adaptive Systems
4 Listeners
Hydrology of catchments rivers and deltas
3 Listeners
Flight and Orbital Mechanics
1 Listeners