PPTL_SPIN

swMATH43552MaRDI QIDQ5974269FDOQ5974269

Author name not available (Why is that?)

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
• PPTLMiner
• Texada
• PPTL specification mining based on LNFG

This page was built for software: PPTL_SPIN