Symbolica Alternatives

Similar projects and alternatives to Symbolica based on common topics and language

• Symbolica

  4 60 0.0 C# Symbolica VS Symbolica

  Symbolica's open-source symbolic execution engine.

  

• alive2

  5 681 9.3 C++ Symbolica VS alive2

  Automatic verification of LLVM optimizations

  

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• HDL_Converter

  1 5 0.0 C# Symbolica VS HDL_Converter

  A simple tool that can be used to convert the header syntax of a verilog module or VHDL entity to an instantiation syntax and create testbench structures (top level and verify). The project is aimed at removing the need for tedious refactoring of module headers when instantiating modules or verifying individual modules with testbenches.

• dafny

  32 2,763 9.7 C# Symbolica VS dafny

  Dafny is a verification-aware programming language

  

• ThinkSharp.Licensing

  1 98 6.5 C# Symbolica VS ThinkSharp.Licensing

  Simple library with fluent API for creating and verifying signed licenses

• Unload

  3 31 0.0 C# Symbolica VS Unload

  An advanced automatic speedrun load time remover for community verifiers.