scientific article; zbMATH DE number 6454071
From MaRDI portal
Publication:5260751
zbMATH Open1324.68059MaRDI QIDQ5260751
Publication date: 29 June 2015
Title of this publication is not available (Why is that?)
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (3)
Quantitative model checking of linear-time properties based on generalized possibility measures ⋮ Title not available (Why is that?) ⋮ On the Satisfiability and Model Checking for one Parameterized Extension of Linear-time Temporal Logic
Recommendations
- Title not available (Why is that?) 👍 👎
- Linear temporal logic symbolic model checking 👍 👎
- A model checker for linear time temporal logic 👍 👎
- Model Checking General Linear Temporal Logic 👍 👎
- Model Checking Linear Coalgebraic Temporal Logics: An Automata-Theoretic Approach 👍 👎
- 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)
