eFLINT: a domain-specific language for executable norm specifications.

L. Thomas van Binsbergen Lu-Chi Liu Robert van Doesburg Tom M. van Engers

Published in: GPCE (2020)

Keyphrases

formal specification
attribute grammars
control flow
specification language
functional requirements
data flow
process algebra
special case
model checking
operational semantics
concurrent systems
delay insensitive
machine learning
objective function
formal verification
penalty term