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

@@ Property / describes a project that uses @@
+Apron
@@ Property / describes a project that uses: Apron / rank @@
+Normal rank
@@ 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-45234-6_9
+Normal rank
@@ Property / OpenAlex ID @@
+W3018156379
@@ Property / OpenAlex ID: W3018156379 / rank @@
+Normal rank
@@ 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