Modular inference of subprogram contracts for safety checking (Q604392): Difference between revisions

@@ Property / describes a project that uses @@
+Spec#
@@ Property / describes a project that uses: Spec# / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Houdini
@@ Property / describes a project that uses: Houdini / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+KRAKATOA
@@ Property / describes a project that uses: KRAKATOA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ACSL
@@ Property / describes a project that uses: ACSL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+JML
@@ Property / describes a project that uses: JML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Caduceus
@@ Property / describes a project that uses: Caduceus / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Alt-Ergo
@@ Property / describes a project that uses: Alt-Ergo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Octagon
@@ Property / describes a project that uses: Octagon / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Why3
@@ Property / describes a project that uses: Why3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+VCC
@@ Property / describes a project that uses: VCC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Cyclone
@@ Property / describes a project that uses: Cyclone / 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.1016/j.jsc.2010.06.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2013252208
@@ Property / OpenAlex ID: W2013252208 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5310200
@@ Property / cites work: Q5310200 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+``A la Burstall'' intermittent assertions induction principles for proving inevitability properties of programs
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of non-functional programs using interpretations in type theory
+Normal rank
@@ Property / cites work @@
+Q2763999
@@ Property / cites work: Q2763999 / rank @@
+Normal rank
@@ Property / cites work @@
+Assertion Checking Unified
@@ Property / cites work: Assertion Checking Unified / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioral interface specification languages
@@ Property / cites work: Behavioral interface specification languages / rank @@
+Normal rank
@@ Property / cites work @@
+Affine relationships among variables of a program
@@ Property / cites work: Affine relationships among variables of a program / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779116
@@ Property / cites work: Q4779116 / rank @@
+Normal rank
@@ Property / cites work @@
+The octagon abstract domain
@@ Property / cites work: The octagon abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+A Quantifier Elimination Algorithm for Linear Real Arithmetic
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Polymorphic type, region and effect inference
@@ Property / cites work: Polymorphic type, region and effect inference / rank @@
+Normal rank
@@ Property / cites work @@
+Region-based memory management
@@ Property / cites work: Region-based memory management / rank @@
+Normal rank
@@ Property / cites work @@
+Q4226937
@@ Property / cites work: Q4226937 / rank @@
+Normal rank