University of Oxford Logo University of OxfordDepartment of Computer Science - Home
Linked in
Linked in
Follow us on twitter
Twitter
On Facebook
Facebook
Instagram
Instagram

View abstraction for systems with component identities

The page contains code and scripts relating to my papers View abstraction for systems with component identities and Parameterised Verification of Systems with Component Identities, using View Abstraction.

The code for the implementation is available below.

The implementation of view abstraction uses the implementation of FDR4 that supports symmetry reduction, available via here.

Here are the example files.

Gavin Lowe, August 2020