A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios
Since its introduction at GPCE2020, the eFLINT norm specification language has been used in academic and industrial applications to specify and automate compliance for various norms, such as privacy regulations and data processing agreements. The eFLINT interpreter has been used to automate the analysis of real-time or historical cases by computing logical consequences and reporting normative violations.
Authors
- Tim Müller (ORCID: https://orcid.org/0000-0002-9759-5973)
- L. Thomas van Binsbergen (ORCID: https://orcid.org/0000-0001-8113-2221)
- Christopher A. Esterhuyse (ORCID: https://orcid.org/0000-0002-9124-9092)
Institutions
- Amsterdam University of the Arts (NL)
- University of Amsterdam (NL)
Publication Details
- Published
- 2025-06-27
- DOI
- https://doi.org/10.1145/3742876.3742882
- Primary Topic
- Formal Methods in Verification
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- European Regional Development Fund