Designing minimal effective normative systems with the help of lightweight formal methods.

Jianye Hao Eunsuk Kang Jun Sun Daniel Jackson

Published in: SIGSOFT FSE (2016)

Keyphrases

lightweight
formal methods
formal analysis
development environments
machine learning
artificial intelligence
knowledge based systems
authentication protocol
databases
database systems
cooperative
safety critical
normative systems