This repository contains code for the Sieve Algorithm (Srivastava et al. 2011). The Sieve Algorithm is sound and complete for checking whether a given policy is terminating.
Python
Sieve
This repository contains code for the Sieve Algorithm (Srivastava et al. 2011). The Sieve Algorithm is sound and complete for checking whether a given policy is terminating.