PPTLMiner

swMATH43551MaRDI QIDQ5973059FDOQ5973059

Author name not available (Why is that?)

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

Cited In (7)

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

This page was built for software: PPTLMiner