Symbolica

icon indicating a website link https://symbolica.dev icon indicating an email [email protected]

icon location London, UK icon location Symbolic execution as a service. Find bugs faster by exploring every reachable state of your program.

Results 2 repositories owned by Symbolica

Symbolica

60
Stars
6
Forks
Watchers

Symbolica's open-source symbolic execution engine.

verified publisher icon Symbolica

Symbolica.Extensions.Configuration.FSharp

33
Stars
2
Forks
Watchers

Provides a safe API for binding the dotnet IConfiguration to types in F#.

verified publisher icon Symbolica