A framework for compositional verification of multi-valued systems via abstraction-refinement

DOI10.1016/J.IC.2016.01.001zbMATH Open1336.68166OpenAlexW2264857910MaRDI QIDQ259065FDOQ259065

Authors: Yael Meller, Orna Grumberg, Sharon Shoham 

Publication date: 10 March 2016

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2016.01.001

Recommendations

• A framework for compositional verification of multi-valued systems via abstraction-refinement
• Compositional verification and 3-valued abstractions join forces
• Compositional Verification and 3-Valued Abstractions Join Forces
• scientific article; zbMATH DE number 3880084
• A compositional approach to the verification of hybrid systems
• Compositional Verification for Component-Based Systems and Application
• Abstraction and composition: a verification method for co-operating systems
• Compositional analysis for verification of parameterized systems
• scientific article; zbMATH DE number 1956590

zbMATH Keywords

bilatticescompositional model checkingmixed simulationmu-calculusmulti-valued model checkingrefinement

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• When not losing is better than winning: abstraction and refinement for the full \(\mu\)-calculus
• 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?)
• Latticed Simulation Relations and Games
• Automated Assume-Guarantee Reasoning by Abstraction Refinement
• Title not available (Why is that?)
• Compositional Verification and 3-Valued Abstractions Join Forces
• Learning Minimal Separating DFA’s for Compositional Verification
• A framework for compositional verification of multi-valued systems via abstraction-refinement
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic Methodology and Software Technology
• SAT-Based Compositional Verification Using Lazy Learning
• Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages
• Automata, Languages and Programming
• Automated Technology for Verification and Analysis
• Verification, Model Checking, and Abstract Interpretation
• Computer Aided Verification
• Computer Aided Verification
• Refining Interface Alphabets for Compositional Verification
• Optimized L*-Based Assume-Guarantee Reasoning
• Verification, Model Checking, and Abstract Interpretation
• Tools and Algorithms for the Construction and Analysis of Systems
• Multi-valued model checking via classical model checking.
• A game-based framework for CTL counterexamples and 3-valued abstraction-refinement.
• Learning to divide and conquer: applying the \(L^*\) algorithm to automate assume-guarantee reasoning
• Automated assumption generation for compositional verification
• Automatic symbolic compositional verification by learning assumptions

Cited In (4)

• Don't know for multi-valued systems
• A framework for compositional verification of multi-valued systems via abstraction-refinement
• Compositional verification and 3-valued abstractions join forces
• Compositional Verification and 3-Valued Abstractions Join Forces

This page was built for publication: A framework for compositional verification of multi-valued systems via abstraction-refinement

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