CoSMed: A Confidentiality-Verified Social Media Platform (Q2829248): Difference between revisions

@@ Property / cites work @@
+A note on spark varieties
@@ Property / cites work: A note on spark varieties / rank @@
+Normal rank
@@ Property / cites work @@
+A verified information-flow architecture
@@ Property / cites work: A verified information-flow architecture / rank @@
+Normal rank
@@ Property / cites work @@
+Code Generation via Higher-Order Rewrite Systems
@@ Property / cites work: Code Generation via Higher-Order Rewrite Systems / rank @@
+Normal rank
@@ Property / cites work @@
+CakeML
@@ Property / cites work: CakeML / rank @@
+Normal rank
@@ Property / cites work @@
+Java and the Java Memory Model — A Unified, Machine-Checked Formalisation
+Normal rank
@@ Property / cites work @@
+Concrete Semantics
@@ Property / cites work: Concrete Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / describes a project that uses @@
+Jif
@@ Property / describes a project that uses: Jif / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CoSMed
@@ Property / describes a project that uses: CoSMed / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FlowFox
@@ Property / describes a project that uses: FlowFox / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+seL4
@@ Property / describes a project that uses: seL4 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CAVA LTL Modelchecker
@@ Property / describes a project that uses: CAVA LTL Modelchecker / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3016501173
@@ Property / OpenAlex ID: W3016501173 / rank @@
+Normal rank