sumanthsprabhu

Pinned Repositories

aeval-1
AE-solver and Skolemizer
Language:SMT00
atva
Language:TeX00
atva_tool
Language:C00
cbmc
C Bounded Model Checker
Language:C++00
GNNForCHCs
Exploring Representation of Horn Clauses using GNNs
Language:Scala00
GNNProgramTerminationAnalysis
Program Termination Analysis using Graph Neural Network
Language:Python00
Haskell
Haskell
Language:Haskell00
links
00
maxpranq
Language:SMT00
Notes
00

sumanthsprabhu's Repositories

sumanthsprabhu/aeval-1
AE-solver and Skolemizer
Language:SMT00
sumanthsprabhu/atva
Language:TeX00
sumanthsprabhu/atva_tool
Language:C00
sumanthsprabhu/cbmc
C Bounded Model Checker
Language:C++00
sumanthsprabhu/GNNForCHCs
Exploring Representation of Horn Clauses using GNNs
Language:Scala00
sumanthsprabhu/GNNProgramTerminationAnalysis
Program Termination Analysis using Graph Neural Network
Language:Python00
sumanthsprabhu/Haskell
Haskell
Language:Haskell00
sumanthsprabhu/links
00
sumanthsprabhu/maxpranq
Language:SMT00
sumanthsprabhu/Notes
00
sumanthsprabhu/smt_project
Verification of loop-free Programs by Underapproximation of Weakest Precondition
Language:C++
sumanthsprabhu/strategy-improvement
Language:OCaml
sumanthsprabhu/sudoku
Language:C++
sumanthsprabhu/sumanthsprabhu.github.io
Homepage
Language:HTML
sumanthsprabhu/thesis
Verification of concurrent program by underapproximation using invariants
Language:C