Geeks
VSharp-team
/
VSharp
Symbolic execution engine for .NET Core
Primary Language
C++
Apache License 2.0
Apache-2.0
VSharp GitHub
Markdown
Readme
45
Issues
50
Stargazers
9
Watchers
Watchers
anastasiia-kornilova
dvvrd
Saint-Petersburg
inyutin-maxim
inyutin_maxim
jhcloos
kbatoev
mfilippov
JetBrains
misonijnik
Tbilisi, Georgia
vovche
Sumy, Ukraine
yuske
Stockholm