Constrained LTL Specification Learning from Examples

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 monitoring. Given a set of positive and negative examples, specified as traces, LTL learning is the problem of synthesizing...

Full description

Bibliographic Details

Published in:	Proceedings / International Conference on Software Engineering pp. 629 - 641
Main Authors:	Zhang, Changjian, Kapoor, Parv, Dardik, Ian, Cui, Leyi, Meira-Goes, Romulo, Garlan, David, Kang, Eunsuk
Format:	Conference Proceeding
Language:	English
Published:	IEEE 26.04.2025
Subjects:	Encoding formal methods formal specifications linear temporal logic Logic ltl learning Model checking model-driven engineering modeling tools Monitoring requirements engineering Runtime Software
ISSN:	1558-1225
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!