Using multi-agent systems to go beyond temporal patterns verification


A key step in formal verification is the translation of requirements into logic formulae. Various flavours of temporal logic are commonly used in academia and in industry to capture, among others, liveness and safety requirements. In the past two decades there has been a substantial amount of work in the area of verification of extensions of temporal logic… (More)
DOI: 10.1145/2948896.2948905

2 Figures and Tables


  • Presentations referencing similar topics