UPPAAL Model Checker in PLV Reading Group this week

[Anthony Sloane]

The programming languages and verification reading group at Macquarie University, Department of Computing meets on (most) Fridays from 4pm in 9WW357 (formerly E6A357). All welcome. The reading group home page is at:

https://plvmq.bitbucket.io/#readinggroup/

Our current topic is:

UPPAAL Model Checker

On February 22 we will discuss the UPPAAL model checker based on an introductory tutorial chapter by Vaandrager [1].

Readings

[1] http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.457.5080&rep=rep1&type=pdf#page=20

Please contact us if you are unable to access the reading(s) via the links above.

We hope to see you there.

Tony, Matt, Dom and Franck

[Anthony Sloane]

Instead of the old location, we will meet in our new building 4 Research Park Drive, Level 2, Room 288.

Tony