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.

README, giving instructions for installation and running;
VA.zip, the main implementation;
util.zip, various utilities.

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