From a4cd5c28283a1fc1c5a7e5db5fc9e1c0b4855798 Mon Sep 17 00:00:00 2001
From: Roman Kornilov <79269230+cann3v@users.noreply.github.com>
Date: Mon, 9 Jun 2025 14:54:38 +0500
Subject: [PATCH] Add VSharp

---
 README.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/README.md b/README.md
index c7709b6..a7bc28b 100644
--- a/README.md
+++ b/README.md
@@ -71,6 +71,7 @@
 ### .NET
 
 * [PEX](http://pex4fun.com/About.aspx) - Dynamic symbolic execution tool for .NET.
+* [VSharp](https://github.com/VSharp-team/VSharp) - Symbolic execution engine for .NET assemblies.
 
 
 ### C