Test and Verification

Lecture 3

Subject

UPPAAL Verification Engine
Verification Options
Modelling Patterns
Real-Time Planning & Scheduling (see also UPPAAL Cora)

Material

         In addition to reading material from lecture 2 you may have a look at
        
             Oliver Möller: Efficiency i Real-Time Model Checking
                            (Chapter 5 in the PhD thesis)  

Exercises

See exercises from Lecture 2.