From invariant checking to invariant inference using randomized search (Q518404): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10703-016-0248-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2311603331
@@ Property / OpenAlex ID: W2311603331 / rank @@
+Normal rank
@@ Property / cites work @@
+Discovering invariants via simple component analysis
+Normal rank
@@ Property / cites work @@
+An introduction to MCMC for machine learning
@@ Property / cites work: An introduction to MCMC for machine learning / rank @@
+Normal rank
@@ Property / cites work @@
+Invariant Synthesis for Combined Theories
@@ Property / cites work: Invariant Synthesis for Combined Theories / rank @@
+Normal rank
@@ Property / cites work @@
+The Daikon system for dynamic detection of likely invariants
+Normal rank
@@ Property / cites work @@
+Compositional shape analysis by means of bi-abduction
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417936
@@ Property / cites work: Q4417936 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Grammar Analysis and Parsing by Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Fluid Updates: Beyond Strong vs. Weak Updates
@@ Property / cites work: Fluid Updates: Beyond Strong vs. Weak Updates / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of Circular Compositional Program Proofs via Abduction
+Normal rank
@@ Property / cites work @@
+Q2763999
@@ Property / cites work: Q2763999 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists
+Normal rank
@@ Property / cites work @@
+Program verification as probabilistic inference
@@ Property / cites work: Program verification as probabilistic inference / rank @@
+Normal rank
@@ Property / cites work @@
+Discovering affine equalities using random interpretation
+Normal rank
@@ Property / cites work @@
+Constraint-Based Invariant Inference over Predicate Abstraction
+Normal rank
@@ Property / cites work @@
+Proving non-termination
@@ Property / cites work: Proving non-termination / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Property Directed Reachability
@@ Property / cites work: Generalized Property Directed Reachability / rank @@
+Normal rank
@@ Property / cites work @@
+Modular reasoning about heap paths via effectively propositional formulas
+Normal rank
@@ Property / cites work @@
+The octagon abstract domain
@@ Property / cites work: The octagon abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+From invariant checking to invariant inference using randomized search
+Normal rank
@@ Property / cites work @@
+A Data Driven Approach for Algebraic Loop Invariants
+Normal rank
@@ Property / cites work @@
+Bias-variance tradeoffs in program analysis
@@ Property / cites work: Bias-variance tradeoffs in program analysis / rank @@
+Normal rank