scientific article; zbMATH DE number 6454071

zbMATH Open1324.68059MaRDI QIDQ5260751FDOQ5260751

Authors: Yongming Li 

Publication date: 29 June 2015

Title of this publication is not available (Why is that?)

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

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)

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
• Title not available (Why is that?)
• Model checking of reachability problems based on generalized possibility measures
• Quantitative model checking of linear-time properties based on generalized possibility measures
• Some properties of computation tree logic under possibility measures
• Computation tree logic model checking over possibilistic decision processes under finite-memory scheduler
• 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)