University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

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.