Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting (Q5039530): Difference between revisions

@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithm for finding a general formula for the non-negative solutions of a system of linear inequalities
+Normal rank
@@ Property / cites work @@
+Grammar Analysis and Parsing by Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Constructive versions of Tarski's fixed point theorems
+Normal rank
@@ Property / cites work @@
+Abstract interpretation and application to logic programs
+Normal rank
@@ Property / cites work @@
+Precondition Inference from Intermittent Assertions and Application to Contracts on Collections
+Normal rank
@@ Property / cites work @@
+Probabilistic Abstract Interpretation
@@ Property / cites work: Probabilistic Abstract Interpretation / rank @@
+Normal rank
@@ Property / cites work @@
+Program verification using symbolic game semantics
+Normal rank
@@ Property / cites work @@
+Q3384159
@@ Property / cites work: Q3384159 / rank @@
+Normal rank
@@ Property / cites work @@
+Finding suitable variability abstractions for family-based analysis
+Normal rank
@@ Property / cites work @@
+Finding suitable variability abstractions for lifted analysis
+Normal rank
@@ Property / cites work @@
+Dynamic partitioning in linear relation analysis: application to the verification of reactive systems
+Normal rank
@@ Property / cites work @@
+Linear-Invariant Generation for Probabilistic Programs:
+Normal rank
@@ Property / cites work @@
+Abstraction, Refinement and Proof for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+The octagon abstract domain
@@ Property / cites work: The octagon abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+An abstract Monte-Carlo method for the analysis of probabilistic programs
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+An Abstract Domain to Infer Ordinal-Valued Ranking Functions
+Normal rank