Unbounded procedure summaries from bounded environments (Q2234080): 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.1007/978-3-030-67067-2_14
+Normal rank
@@ Property / OpenAlex ID @@
+W3120731329
@@ Property / OpenAlex ID: W3120731329 / rank @@
+Normal rank
@@ Property / cites work @@
+Maximal specification synthesis
@@ Property / cites work: Maximal specification synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of interface specifications for Java classes
+Normal rank
@@ Property / cites work @@
+Mining specifications
@@ Property / cites work: Mining specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Function Summarization Modulo Theories
@@ Property / cites work: Function Summarization Modulo Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4553257
@@ Property / cites work: Q4553257 / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability Modulo Theories
@@ Property / cites work: Satisfiability Modulo Theories / rank @@
+Normal rank
@@ Property / cites work @@
+SAT-Based Model Checking without Unrolling
@@ Property / cites work: SAT-Based Model Checking without Unrolling / rank @@
+Normal rank
@@ Property / cites work @@
+HoIce: an ICE-based non-linear Horn clause solver
@@ Property / cites work: HoIce: an ICE-based non-linear Horn clause solver / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754081
@@ Property / cites work: Q2754081 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4174789
@@ Property / cites work: Q4174789 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5016383
@@ Property / cites work: Q5016383 / rank @@
+Normal rank
@@ Property / cites work @@
+Static Contract Checking with Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Learning inductive invariants by sampling from frequency distributions
+Normal rank
@@ Property / cites work @@
+Quantified invariants via syntax-guided synthesis
@@ Property / cites work: Quantified invariants via syntax-guided synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763999
@@ Property / cites work: Q2763999 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791848
@@ Property / cites work: Q4791848 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional may-must program analysis
@@ Property / cites work: Compositional may-must program analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement of Trace Abstraction
@@ Property / cites work: Refinement of Trace Abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Property Directed Reachability
@@ Property / cites work: Generalized Property Directed Reachability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4792066
@@ Property / cites work: Q4792066 / rank @@
+Normal rank
@@ Property / cites work @@
+SMT-based model checking for recursive programs
@@ Property / cites work: SMT-based model checking for recursive programs / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255591
@@ Property / cites work: Q4255591 / rank @@
+Normal rank
@@ Property / cites work @@
+Unbounded procedure summaries from bounded environments
+Normal rank
@@ Property / cites work @@
+Automating induction for solving Horn clauses
@@ Property / cites work: Automating induction for solving Horn clauses / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2234080