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