scientific article; zbMATH DE number 6454071

MaRDI QIDQ5260751zbMATH OpenFDO

Authors Yongming Li

Publication date 29 June 2015

zbMATH Keywords

model checkingsemanticslinear temporal logicpossibility theory

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• A model checker for linear time temporal logic
• Model checking general linear temporal logic
• Linear temporal logic symbolic model checking
• Model checking linear coalgebraic temporal logics: an automata-theoretic approach
• scientific article; zbMATH DE number 2196601
• Model-checking timed temporal logics
• A rewriting-based model checker for the linear temporal logic of rewriting

Cited in

(9)

• On the Satisfiability and Model Checking for one Parameterized Extension of Linear-time Temporal Logic
• Model checking of fuzzy linear temporal logic based on quantum logic
• Fixed-point semantics of computation tree logic based on generalized possibility measures
• scientific article; zbMATH DE number 177234 (Why is no real title available?)
• Model checking of reachability problems based on generalized possibility measures
• Quantitative model checking of linear-time properties based on generalized possibility measures
• Computation tree logic model checking over possibilistic decision processes under finite-memory scheduler
• Some properties of computation tree logic under possibility measures
• Computation tree logic model checking based on possibility measures

This page was built for publication:

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