activity
20222025
most citedAnalyzing and Debugging Normative Requirements via Satisfiability Checking

13 citations · 17 across the 6 of their papers we have counts for

collaborators
Showing 2022Show all

1 paper · 1 filter

cs.SE2022

Early Verification of Legal Compliance via Bounded Satisfiability Checking

Nick Feng, Lina Marsso, Mehrdad Sabetzadeh +1

Legal properties involve reasoning about data values and time. Metric first-order temporal logic (MFOTL) provides a rich formalism for specifying legal properties. While MFOTL has…