POSIX file store in Z/Eves: An experiment in the verified software repository (Q1004296): Difference between revisions

@@ Property / author @@
-J. C. P. Woodcock
@@ Property / author: J. C. P. Woodcock / rank @@
-Normal rank
@@ Property / author @@
+J. C. P. Woodcock
@@ Property / author: J. C. P. Woodcock / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Z
@@ Property / describes a project that uses: Z / 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 @@
+Z/EVES
@@ Property / describes a project that uses: Z/EVES / 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.scico.2008.08.001
+Normal rank
@@ Property / OpenAlex ID @@
+W1982220991
@@ Property / OpenAlex ID: W1982220991 / rank @@
+Normal rank
@@ Property / cites work @@
+POSIX file store in Z/Eves: An experiment in the verified software repository
+Normal rank
@@ Property / cites work @@
+Q4417801
@@ Property / cites work: Q4417801 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808693
@@ Property / cites work: Q4808693 / rank @@
+Normal rank
@@ Property / cites work @@
+A mini challenge: build a verifiable filesystem
@@ Property / cites work: A mini challenge: build a verifiable filesystem / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs and Refutations
@@ Property / cites work: Proofs and Refutations / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Theorems About JML Classes
@@ Property / cites work: Proving Theorems About JML Classes / rank @@
+Normal rank
@@ Property / cites work @@
+Specification of the UNIX Filing System
@@ Property / cites work: Specification of the UNIX Filing System / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995087
@@ Property / cites work: Q3995087 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301167
@@ Property / cites work: Q4301167 / rank @@
+Normal rank
@@ Property / cites work @@
+Z/Eves and the Mondex Electronic Purse
@@ Property / cites work: Z/Eves and the Mondex Electronic Purse / rank @@
+Normal rank