PPTLMiner

MaRDI QIDQ5973059swMATHFDO

Official website https://www.sciencedirect.com/science/article/abs/pii/S0304397520307568

Cited in

(7)

• Propositional projection temporal logic specification mining
• Perracotta
• DynaMine
• Texada
• PPTL specification mining based on LNFG
• PPTL_SPIN
• Temporal logic specification mining of programs

This page was built for software: PPTLMiner