no code implementations • 13 Jul 2017 • John J. Camilleri, Mohammad Reza Haghshenas, Gerardo Schneider
Our goal is to use formal methods to analyse normative documents written in English, such as privacy policies and service-level agreements.