PPTL_SPIN

swMATH43552MaRDI QIDQ5974269FDOQ5974269

Author name not available (Why is that?)

Described by source

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

Cited In (1)

• PPTL specification mining based on LNFG

This page was built for software: PPTL_SPIN