diff --git a/Source/Core/Runtime/Exceptions/RuntimeException.cs b/Source/Core/Runtime/Exceptions/RuntimeException.cs
index 94ab97a77..1d5e35130 100644
--- a/Source/Core/Runtime/Exceptions/RuntimeException.cs
+++ b/Source/Core/Runtime/Exceptions/RuntimeException.cs
@@ -40,6 +40,9 @@ internal RuntimeException(string message, Exception innerException)
         /// <summary>
         /// Initializes a new instance of the <see cref="RuntimeException"/> class.
         /// </summary>
+        #if NET8_0_OR_GREATER
+        [Obsolete("Marking obsolete until RuntimeException remains serializable", DiagnosticId = "SYSLIB0051")]
+        #endif
         protected RuntimeException(SerializationInfo serializationInfo, StreamingContext streamingContext)
             : base(serializationInfo, streamingContext)
         {
diff --git a/Source/Test/Rewriting/Types/Collections/Generic/Dictionary.cs b/Source/Test/Rewriting/Types/Collections/Generic/Dictionary.cs
index 3909c53da..2780a7d5e 100644
--- a/Source/Test/Rewriting/Types/Collections/Generic/Dictionary.cs
+++ b/Source/Test/Rewriting/Types/Collections/Generic/Dictionary.cs
@@ -1,6 +1,7 @@
 // Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
+using System;
 using System.Runtime.Serialization;
 using Microsoft.Coyote.Runtime;
 using SystemGenerics = System.Collections.Generic;
@@ -246,6 +247,9 @@ public static bool TryGetValue(SystemGenerics.Dictionary<TKey, TValue> instance,
         /// Implements the <see cref="ISerializable"/> interface and returns the data needed
         /// to serialize the dictionary instance.
         /// </summary>
+        #if NET8_0_OR_GREATER
+        [Obsolete("Marking obsolete", DiagnosticId = "SYSLIB0051")]
+        #endif
         public static void GetObjectData(SystemGenerics.Dictionary<TKey, TValue> instance,
             SerializationInfo info, StreamingContext context)
         {
diff --git a/Source/Test/Rewriting/Types/Collections/Generic/HashSet.cs b/Source/Test/Rewriting/Types/Collections/Generic/HashSet.cs
index bcd298e56..941e4873d 100644
--- a/Source/Test/Rewriting/Types/Collections/Generic/HashSet.cs
+++ b/Source/Test/Rewriting/Types/Collections/Generic/HashSet.cs
@@ -183,6 +183,9 @@ public static SystemGenerics.HashSet<T>.Enumerator GetEnumerator(SystemGenerics.
         /// Implements the <see cref="ISerializable"/> interface and returns the data needed to
         /// serialize a hash set object.
         /// </summary>
+        #if NET8_0_OR_GREATER
+        [Obsolete("Marking obsolete", DiagnosticId = "SYSLIB0051")]
+        #endif
         public static void GetObjectData(SystemGenerics.HashSet<T> instance, SerializationInfo info,
             StreamingContext context)
         {
@@ -376,6 +379,9 @@ internal Wrapper(SystemGenerics.IEqualityComparer<T> comparer)
             /// <summary>
             /// Initializes a new instance of the <see cref="Wrapper"/> class.
             /// </summary>
+            #if NET8_0_OR_GREATER
+            [Obsolete("Marking obsolete", DiagnosticId = "SYSLIB0051")]
+            #endif
             internal Wrapper(SerializationInfo info, StreamingContext context)
                 : base(info, context) => this.Setup();
 
diff --git a/Source/Test/Rewriting/Types/Runtime/CompilerServices/ConfiguredTaskAwaitable.cs b/Source/Test/Rewriting/Types/Runtime/CompilerServices/ConfiguredTaskAwaitable.cs
index 3b309cd3b..564e5ab85 100644
--- a/Source/Test/Rewriting/Types/Runtime/CompilerServices/ConfiguredTaskAwaitable.cs
+++ b/Source/Test/Rewriting/Types/Runtime/CompilerServices/ConfiguredTaskAwaitable.cs
@@ -11,7 +11,7 @@
 namespace Microsoft.Coyote.Rewriting.Types.Runtime.CompilerServices
 {
     /// <summary>
-    /// Provides an awaitable object that is the outcome of invoking <see cref="SystemTask.ConfigureAwait"/>.
+    /// Provides an awaitable object that is the outcome of invoking <see cref="SystemTask.ConfigureAwait(bool)"/>.
     /// </summary>
     /// <remarks>This type is intended for compiler use only.</remarks>
     [System.ComponentModel.EditorBrowsable(System.ComponentModel.EditorBrowsableState.Never)]
diff --git a/global.json b/global.json
index fd07d882a..8c70738ad 100644
--- a/global.json
+++ b/global.json
@@ -1,5 +1,5 @@
 {
   "sdk": {
-    "version": "8.0.303"
+    "version": "8.0.404"
   }
 }