Early verification of legal compliance via bounded satisfiability checking

DOI10.1007/978-3-031-37709-9_18zbMATH Open1547.68423MaRDI QIDQ6535696FDOQ6535696

Authors: Nick Feng, Lina Marsso, Mehrdad Sabetzadeh, Marsha Chechik 

Publication date: 1 February 2024

Recommendations

• Time and compensation mechanisms in checking legal compliance
• Satisfiability checking for mission-time \textsf{LTL} (MLTL)
• Monitoring metric first-order temporal properties
• Real-time policy enforcement with metric first-order temporal logic
• Satisfiability checking for mission-time LTL

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Cites Work

• Simplify: a theorem prover for program checking
• Constraint LTL satisfiability checking without automata
• Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories
• Solving Quantified Verification Conditions Using Satisfiability Modulo Theories
• Efficient E-Matching for SMT Solvers
• Quantifier instantiation techniques for finite model finding in SMT
• Recursive unsolvability of a problem of Thue
• On the complexity of integer programming
• Model Checking Software
• SAT-based explicit \(\mathsf{LTL}_f\) satisfiability checking
• Accelerating LTL satisfiability checking by SAT solvers
• Monitoring metric first-order temporal properties
• Satisfiability checking for mission-time LTL
• The Imandra Automated Reasoning System (System Description)
• Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time
• Real-time policy enforcement with metric first-order temporal logic

This page was built for publication: Early verification of legal compliance via bounded satisfiability checking

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535696)