Automated Circular Assume-Guarantee Reasoning (Q5206947): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-19249-9_3
+Normal rank
@@ Property / OpenAlex ID @@
+W641899672
@@ Property / OpenAlex ID: W641899672 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Assume-Guarantee Reasoning by Abstraction Refinement
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Learning Minimal Separating DFA’s for Compositional Verification
+Normal rank
@@ Property / cites work @@
+Q4417936
@@ Property / cites work: Q4417936 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated assumption generation for compositional verification
+Normal rank
@@ Property / cites work @@
+Q4240122
@@ Property / cites work: Q4240122 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4494394
@@ Property / cites work: Q4494394 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs of Networks of Processes
@@ Property / cites work: Proofs of Networks of Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754080
@@ Property / cites work: Q2754080 / rank @@
+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