A dynamic logic for deductive verification of multi-threaded programs (Q470007): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B70
@@ Property / Mathematics Subject Classification ID: 03B70 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N19
@@ Property / Mathematics Subject Classification ID: 68N19 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6368386
@@ Property / zbMATH DE Number: 6368386 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+multi-threading
@@ Property / zbMATH Keywords: multi-threading / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+deductive verification
@@ Property / zbMATH Keywords: deductive verification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+symbolic execution
@@ Property / zbMATH Keywords: symbolic execution / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+symmetry reduction
@@ Property / zbMATH Keywords: symmetry reduction / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+input/ output reasoning
@@ Property / zbMATH Keywords: input/ output reasoning / 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 @@
+Bogor
@@ Property / describes a project that uses: Bogor / 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 @@
+Java PathFinder
@@ Property / describes a project that uses: Java PathFinder / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Atomizer
@@ Property / describes a project that uses: Atomizer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+JML
@@ Property / describes a project that uses: JML / 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/s00165-012-0261-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2081764864
@@ Property / OpenAlex ID: W2081764864 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:470007