Verifying data refinements using a model checker

Speaker: John Derrick (University of Sheffield)

When: 2:00, Thursday, 12 October 2006

Venue: 78-621

In this talk we consider how refinements between state-based specifications can be checked using a model checker. Specifically, we will consider the use of SAL to verify downward and upward simulations between Z-like specifications.

Hospitality: Graeme Smith

Contact: Phil Cook (SSE seminar co-ordinator) (philc@itee.uq.edu.au)

SSE seminar web page: http://www.itee.uq.edu.au/~sse/Seminars.html