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

DOI10.1007/978-3-319-31220-0_14zbMath1461.68124OpenAlexW2460979775MaRDI QIDQ2026564

Yanyan Li

Publication date: 20 May 2021

Full work available at URL: https://doi.org/10.1007/978-3-319-31220-0_14

zbMATH Keywords

verificationmodel checkingBüchi automataSPINpropositional projection temporal logic

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (2)

PPTL_SPIN ⋮ PPTL specification mining based on LNFG

Uses Software

• SPIN

This page was built for publication: PPTL\_SPIN: a SPIN based model checker for propositional projection temporal logic