#

symbolic-execution-tree

Here is 1 public repository matching this topic...

gabryon99 / jb-kotlin-verification-framework

JetBrains Task's implementation for the "Formal verification framework for Kotlin".

kotlin formal-verification symbolic-execution-tree

Updated Nov 23, 2022
Kotlin

Improve this page

Add a description, image, and links to the symbolic-execution-tree topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the symbolic-execution-tree topic, visit your repo's landing page and select "manage topics."