Multi-valued model checking games

DOI10.1016/J.JCSS.2011.05.003MaRDI QIDQ414899zbMATH OpenOpenAlexFDO

Authors Sharon Shoham, Orna Grumberg

Publication date 11 May 2012

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jcss.2011.05.003

zbMATH Keywords

model checkingmu-calculusgame-based settingmulti-valued semantics

Mathematics Subject Classification ID

Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Recommendations

• Automated Technology for Verification and Analysis
• Automata, Languages and Programming
• Multi-valued model checking via classical model checking.
• scientific article; zbMATH DE number 2042616
• Latticed simulation relations and games

Cites work

• scientific article; zbMATH DE number 1670794 (Why is no real title available?)
• scientific article; zbMATH DE number 1693039 (Why is no real title available?)
• scientific article; zbMATH DE number 1744958 (Why is no real title available?)
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• scientific article; zbMATH DE number 1903350 (Why is no real title available?)
• scientific article; zbMATH DE number 2104629 (Why is no real title available?)
• scientific article; zbMATH DE number 2102712 (Why is no real title available?)
• scientific article; zbMATH DE number 1405445 (Why is no real title available?)
• A game-based framework for CTL counterexamples and 3-valued abstraction-refinement
• A game-based framework for CTL counterexamples and 3-valued abstraction-refinement.
• A lattice-theoretical fixpoint theorem and its applications
• An automata-theoretic approach to branching-time model checking
• Automata, Languages and Programming
• Automated Technology for Verification and Analysis
• Data structures for symbolic multi-valued model-checking
• Local model checking in the modal mu-calculus
• Multi-valued model checking via classical model checking.
• Quantitative solution of \(\omega\)-regular games
• Verification, Model Checking, and Abstract Interpretation

Cited in

(15)

• Don't know for multi-valued systems
• Simulation for lattice-valued doubly labeled transition systems
• scientific article; zbMATH DE number 1405445 (Why is no real title available?)
• Verification, Model Checking, and Abstract Interpretation
• Latticed simulation relations and games
• Logic Programming
• Automata games for multiple-model checking
• Model checking computation tree logic over finite lattices
• Product line process theory
• Automata, Languages and Programming
• Automated Technology for Verification and Analysis
• Latticed Simulation Relations and Games
• Multi-valued verification of strategic ability
• Modal transition system encoding of featured transition systems
• Model checking fuzzy computation tree logic

This page was built for publication: Multi-valued model checking games

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