Reflections on the design, applications and implementations of the normative specification language eFLINT

L. Thomas van Binsbergen, Christopher A. Esterhuyse, Tim Müller

Checking the compliance of software against laws, regulations and contracts is increasingly important and costly as the embedding of software into societal practices is becoming mo…