Constrained LTL Specification Learning from Examples

Changjian Zhang, Parv Kapoor, Ian Dardik +4

Temporal logic specifications play an important role in a wide range of software analysis tasks, such as model checking, automated synthesis, program comprehension, and runtime mon…