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...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings / International Conference on Software Engineering s. 629 - 641
Hlavní autoři:	Zhang, Changjian, Kapoor, Parv, Dardik, Ian, Cui, Leyi, Meira-Goes, Romulo, Garlan, David, Kang, Eunsuk
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 26.04.2025
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!