scientific article; zbMATH DE number 6454071

zbMATH Open1324.68059MaRDI QIDQ5260751FDOQ5260751

Yongming Li

Publication date: 29 June 2015

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

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 (3)

• On the Satisfiability and Model Checking for one Parameterized Extension of Linear-time Temporal Logic
• Title not available (Why is that?)
• Quantitative model checking of linear-time properties based on generalized possibility measures

   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 👍 👎
• Title not available (Why is that?) 👍 👎
• Model-checking Timed Temporal Logics 👍 👎
• A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting 👍 👎

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)