Symbolic checking of fuzzy CTL on fuzzy program graph

DOI10.1007/S00236-018-0311-3MaRDI QIDQ1713411zbMATH OpenOpenAlexFDO

Authors Masoud Ebrahimi, Gholamreza Sotudeh, Ali Movaghar

Publication date 25 January 2019

Published in Acta Informatica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s00236-018-0311-3

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Fractional graph theory, fuzzy graph theory (05C72)

Recommendations

• Abstraction and approximation in fuzzy temporal logics and models
• Model checking fuzzy computation tree logic
• Model checking of fuzzy linear temporal logic based on quantum logic
• A fuzzy real-time temporal logic
• Symbolic model checking: \(10^{20}\) states and beyond

Cites work

• scientific article; zbMATH DE number 3982506 (Why is no real title available?)
• scientific article; zbMATH DE number 1507210 (Why is no real title available?)
• scientific article; zbMATH DE number 864791 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• A logic for reasoning about time and reliability
• Abstraction and approximation in fuzzy temporal logics and models
• Automata, Languages and Programming
• Data structures for symbolic multi-valued model-checking
• Fuzzy Markov chains and decision-making
• Fuzzy Time in Linear Temporal Logic
• Model checking for probabilistic timed automata
• Model checking fuzzy computation tree logic
• Model checking of probabilistic and nondeterministic systems
• What's decidable about hybrid automata?

Cited in

(3)

• Abstraction and approximation in fuzzy temporal logics and models
• Model checking of fuzzy linear temporal logic based on quantum logic
• Model checking fuzzy computation tree logic

Describes a project that uses

Uses Software

• BuDDy

This page was built for publication: Symbolic checking of fuzzy CTL on fuzzy program graph

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