A framework for compositional verification of multi-valued systems via abstraction-refinement (Q259065): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2016.01.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2264857910
@@ Property / OpenAlex ID: W2264857910 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551147
@@ Property / cites work: Q4551147 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q3858244
@@ Property / cites work: Q3858244 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Assume-Guarantee Reasoning by Abstraction Refinement
+Normal rank
@@ Property / cites work @@
+Q4818796
@@ Property / cites work: Q4818796 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Optimized L*-Based Assume-Guarantee Reasoning
@@ Property / cites work: Optimized L*-Based Assume-Guarantee Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754106
@@ Property / cites work: Q2754106 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763963
@@ Property / cites work: Q2763963 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4806210
@@ Property / cites work: Q4806210 / rank @@
+Normal rank
@@ Property / cites work @@
+Learning Minimal Separating DFA’s for Compositional Verification
+Normal rank
@@ Property / cites work @@
+Q2754081
@@ Property / cites work: Q2754081 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417936
@@ Property / cites work: Q4417936 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518905
@@ Property / cites work: Q4518905 / rank @@
+Normal rank
@@ Property / cites work @@
+Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages
+Normal rank
@@ Property / cites work @@
+Q3604278
@@ Property / cites work: Q3604278 / rank @@
+Normal rank
@@ Property / cites work @@
+Refining Interface Alphabets for Compositional Verification
+Normal rank
@@ Property / cites work @@
+Q4791848
@@ Property / cites work: Q4791848 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804892
@@ Property / cites work: Q4804892 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414390
@@ Property / cites work: Q4414390 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+When not losing is better than winning: abstraction and refinement for the full \(\mu\)-calculus
+Normal rank
@@ Property / cites work @@
+Automated assumption generation for compositional verification
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Latticed Simulation Relations and Games
@@ Property / cites work: Latticed Simulation Relations and Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q4818799
@@ Property / cites work: Q4818799 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Methodology and Software Technology
@@ Property / cites work: Algebraic Methodology and Software Technology / rank @@
+Normal rank
@@ Property / cites work @@
+A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement
+Normal rank
@@ Property / cites work @@
+Automatic symbolic compositional verification by learning assumptions
+Normal rank
@@ Property / cites work @@
+Learning to divide and conquer: applying the \(L^*\) algorithm to automate assume-guarantee reasoning
+Normal rank
@@ Property / cites work @@
+Q3700812
@@ Property / cites work: Q3700812 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Technology for Verification and Analysis
+Normal rank
@@ Property / cites work @@
+Compositional Verification and 3-Valued Abstractions Join Forces
+Normal rank
@@ Property / cites work @@
+SAT-Based Compositional Verification Using Lazy Learning
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:259065