Weakest pre-condition reasoning for Java programs with JML annotations (Q1881666): Difference between revisions

@@ Property / describes a project that uses @@
+PVS
@@ Property / describes a project that uses: PVS / 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 @@
+HOL
@@ Property / describes a project that uses: HOL / 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 @@
+ESC/Java
@@ Property / describes a project that uses: ESC/Java / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LOOP
@@ Property / describes a project that uses: LOOP / 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.jlap.2003.07.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2031111340
@@ Property / OpenAlex ID: W2031111340 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2722012
@@ Property / cites work: Q2722012 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769594
@@ Property / cites work: Q2769594 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2771757
@@ Property / cites work: Q2771757 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790351
@@ Property / cites work: Q4790351 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming as a Discipline of Mathematical Nature
+Normal rank
@@ Property / cites work @@
+Q5287513
@@ Property / cites work: Q5287513 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3925859
@@ Property / cites work: Q3925859 / rank @@
+Normal rank
@@ Property / cites work @@
+A case study in class library verification: Java's vector class
+Normal rank
@@ Property / cites work @@
+Q2763679
@@ Property / cites work: Q2763679 / rank @@
+Normal rank
@@ Property / cites work @@
+Source code verification of a secure payment applet
+Normal rank
@@ Property / cites work @@
+Q2764132
@@ Property / cites work: Q2764132 / rank @@
+Normal rank
@@ Property / cites work @@
+The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML
+Normal rank
@@ Property / cites work @@
+Q4785558
@@ Property / cites work: Q4785558 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2729071
@@ Property / cites work: Q2729071 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1881666