Aziem Chawdhary
PhD Student, Theory Group
Dept of Computer Science ,Queen Mary, University of London
Ranking Abstraction Examples
Below are links to the examples from the Octagon domain implementation by Antoine Mine and the Polyrank distribution by Aaron Bradley. Dues to IP issues we are unable to provide the Windows driver examples at the moment.
Octagon Examples
Polyrank Examples
