Multi-valued model checking games

DOI10.1016/J.JCSS.2011.05.003zbMATH Open1257.68105OpenAlexW2037024461MaRDI QIDQ414899FDOQ414899

Orna Grumberg, Sharon Shoham

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

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

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)

Cites Work

• A lattice-theoretical fixpoint theorem and its applications
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Automata, Languages and Programming
• Automated Technology for Verification and Analysis
• Verification, Model Checking, and Abstract Interpretation
• CONCUR 2003 - Concurrency Theory
• Computer Aided Verification
• An automata-theoretic approach to branching-time model checking
• Local model checking in the modal mu-calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Quantitative solution of omega-regular games380872
• A game-based framework for CTL counterexamples and 3-valued abstraction-refinement
• Data structures for symbolic multi-valued model-checking

Cited In (13)

• Don't know for multi-valued systems
• Simulation for lattice-valued doubly labeled transition systems
• Title not available (Why is that?)
• Verification, Model Checking, and Abstract Interpretation
• Logic Programming
• Multi-valued Verification of Strategic Ability
• 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
• 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)