Craig vs Newton in Software Model Checking in PL Reading Group this week

[Anthony Sloane]

The programming languages 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://wiki.mq.edu.au/display/plrg/PL+Reading+Group

Our current topic is:

Craig vs Newton in Software Model Checking

On June 1 we will discuss a paper by Dietsch et al that compares two approaches to checking program traces [1].

Readings

[1] https://dl.acm.org/citation.cfm?doid=3106237.3106307

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