Proving the correctness of client/server software (Q1040009): Difference between revisions

@@ Property / OpenAlex ID @@
+W2022983134
@@ Property / OpenAlex ID: W2022983134 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Pervasive Verification of a Paging Mechanism
+Normal rank
@@ Property / cites work @@
+Q2721093
@@ Property / cites work: Q2721093 / 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 @@
+Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification
+Normal rank
@@ Property / cites work @@
+Synchronizing clocks in the presence of faults
@@ Property / cites work: Synchronizing clocks in the presence of faults / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing Mathematical Reasoning
@@ Property / cites work: Mechanizing Mathematical Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Reduction
@@ Property / cites work: Reduction / rank @@
+Normal rank
@@ Property / cites work @@
+A mechanically checked proof of the AMD5/sub K/86/sup TM/ floating-point division program
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+A new fault-tolerant algorithm for clock synchronization
+Normal rank