Reduce GNBA by finding the reachable states
MarcStorm opened this issue · comments
Idea is to decrease the size of the GNBA before it is transformed to an equivalent NBA, as an reduction of the GNBA will directly impact the size of the NBA.
(P)rovenance-preserving (P)olicy (D)ata (R)epository
MarcStorm opened this issue · comments
Idea is to decrease the size of the GNBA before it is transformed to an equivalent NBA, as an reduction of the GNBA will directly impact the size of the NBA.