Early Verification of Legal Compliance via Bounded Satisfiability Checking.
Nick FengLina MarssoMehrdad SabetzadehMarsha ChechikPublished in: CAV (3) (2023)
Keyphrases
- case law
- legal knowledge
- formal verification
- legal information
- intellectual property
- legal information retrieval
- verification method
- legal reasoning
- formal methods
- face verification
- artificial intelligence
- asymptotically optimal
- signature verification
- formal analysis
- asynchronous circuits
- high security
- face detection
- search engine
- concurrent systems
- legal cases
- legal texts
- real world