ACSP verification