Access Control Policy Tool (ACPT), an assurance tool that combines symbolic model checking with combinatorial coverage Download pdf Tags: Access Control model checking Combinatorial Coverage Control Modeling National HCSS Conference 2013 Poster HCSS'13 HCSS'13: Poster Session License: CC-2.5 Submitted by William Martin on Mon, 07/21/2014 - 11:43