Temporal logic specification mining of programs

DOI10.1016/J.TCS.2020.12.032MaRDI QIDQ2220776zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 25 January 2021

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2020.12.032

zbMATH Keywords

patterntracespecification miningpropositional projection temporal logic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Recommendations

• Symbolic automata for static specification mining
• Tools and Algorithms for the Construction and Analysis of Systems
• Mining specifications
• PPTL\_SPIN: a SPIN based model checker for propositional projection temporal logic
• Mining quantified temporal rules: formalism, algorithms, and evaluation

Cites work

• A canonical form based decision procedure and model checking approach for propositional projection temporal logic
• A complete axiom system for propositional projection temporal logic with cylinder computation model
• A decision procedure for propositional projection temporal logic with infinite models
• Expressiveness of propositional projection temporal logic with star
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(8)

• Survey on mining signal temporal logic specifications
• scientific article; zbMATH DE number 148938 (Why is no real title available?)
• Mining quantified temporal rules: formalism, algorithms, and evaluation
• Mining specifications
• Symbolic automata for static specification mining
• PALM: A Technique for Process ALgebraic Specification Mining
• PPTL specification mining based on LNFG
• Tools and Algorithms for the Construction and Analysis of Systems

Describes a project that uses

Uses Software

• PPTLMiner
• Texada
• Perracotta

This page was built for publication: Temporal logic specification mining of programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2220776)