Early Verification of Legal Compliance via Bounded Satisfiability Checking.

Nick Feng, Lina Marsso, Mehrdad Sabetzadeh, Marsha Chechik

Browse the full CAV paper archive.