S
Symbolic execution

  • Any
  • Blade
  • C
  • C#
  • C++
  • CMake
  • CSS
  • Dockerfile
  • Go
  • HCL
  • HTML
  • Java
  • JavaScript
  • Jupyter Notebook
  • Kotlin
  • Makefile
  • Objective-C
  • PHP
  • Python
  • Ruby
  • SCSS
  • Shell
  • Swift
  • TSX
  • TypeScript
  • Vue

Projects with this topic

Sort by:
  • Sort by
  • Updated date
  • Name
  • Name, descending
  • Oldest updated
  • Oldest created
  • Last created
  • Most stars
  • Hide archived projects
  • Show archived projects
  • Show archived projects only
  • View Bubaak project
    B

    Marek Chalupa / Bubaak

    Bubaak - a tool of indeterminate structure that scares children and makes adults nervous (or laughing).

    verification Symbolic exe... invariants Test Generation Model Checking software ver... induction
    0
    Updated Oct 07, 2025
    0 2 1 18
    Updated Oct 07, 2025