PPTL_SPIN

MaRDI QIDQ5974269swMATHFDO

Official website https://link.springer.com/chapter/10.1007/978-3-319-31220-0_14

Described by source

• PPTL\_SPIN: a SPIN based model checker for propositional projection temporal logic

Cited in

(4)

• DynaMine
• Texada
• PPTL specification mining based on LNFG
• PPTLMiner

This page was built for software: PPTL_SPIN