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

2 views
Skip to first unread message

Anthony Sloane

unread,
May 28, 2018, 12:47:06 AM5/28/18
to sci.comp-Google-Group, sci.plrg-reading-Google-Group

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

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

Reply all
Reply to author
Forward
0 new messages