Verification of evolving software via component substitutability analysis (Q934712): Difference between revisions

@@ Property / cites work @@
+Synthesis of interface specifications for Java classes
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Learning regular sets from queries and counterexamples
+Normal rank
@@ Property / cites work @@
+Efficient verification of sequential and concurrent C programs
+Normal rank
@@ Property / cites work @@
+FM 2005: Formal Methods
@@ Property / cites work: FM 2005: Formal Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / 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 @@
+Q4804914
@@ Property / cites work: Q4804914 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754081
@@ Property / cites work: Q2754081 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3204034
@@ Property / cites work: Q3204034 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Refining Interface Alphabets for Compositional Verification
+Normal rank
@@ Property / cites work @@
+Q4472253
@@ Property / cites work: Q4472253 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Assumption Generation for Compositional Verification
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Lazy abstraction
@@ Property / cites work: Lazy abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Tentative steps toward a development method for interfering programs
+Normal rank
@@ Property / cites work @@
+Q4326390
@@ Property / cites work: Q4326390 / rank @@
+Normal rank
@@ Property / cites work @@
+Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition
+Normal rank
@@ Property / cites work @@
+Inference of finite automata using homing sequences
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+SAT-Based Compositional Verification Using Lazy Learning
+Normal rank