Using multi-agent systems to go beyond temporal patterns verification

Abstract

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

Topics

  • Presentations referencing similar topics