Pinned Repositories
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Body-Movement-Comparison
Body-Movement-Comparison
Codingame
This repository contains solutions to the codingame puzzles solved by me (all easy, all medium, all hard, 5 very hard, the machine learning one, and about 48 community puzzles), all in java
DailyBackUp
FOL-Inference
First order logic inference engine to determine whether a give query can be inferred by the give facts.
learn-heroku
:checkered_flag: Learn how to deploy your web application to Heroku from scratch step-by-step in 7 minutes!
recSolver
Recurrence Solver Package
VerifierIntegerAssignment.github.io
VIAP-SVCOMP2018
VIAP_ARRAY
VerifierIntegerAssignment's Repositories
VerifierIntegerAssignment/recSolver
Recurrence Solver Package
VerifierIntegerAssignment/VIAP_ARRAY
VerifierIntegerAssignment/VerifierIntegerAssignment.github.io
VerifierIntegerAssignment/Body-Movement-Comparison
Body-Movement-Comparison
VerifierIntegerAssignment/Codingame
This repository contains solutions to the codingame puzzles solved by me (all easy, all medium, all hard, 5 very hard, the machine learning one, and about 48 community puzzles), all in java
VerifierIntegerAssignment/DailyBackUp
VerifierIntegerAssignment/learn-heroku
:checkered_flag: Learn how to deploy your web application to Heroku from scratch step-by-step in 7 minutes!
VerifierIntegerAssignment/PbVIAP
Probalistic Program Verification tool
VerifierIntegerAssignment/Project_OverView
Project,Presentation and Demos
VerifierIntegerAssignment/Quadratric-Inequality-Solver
VerifierIntegerAssignment/real-time-functional-magnetic-resonance-imaging-fMRI-
VerifierIntegerAssignment/rec_paper
A Recurrence Solver And Its Uses in Program Verification
VerifierIntegerAssignment/recurrence_relation
Recurrence Relation
VerifierIntegerAssignment/smack
SMACK Software Verifier and Verification Toolchain
VerifierIntegerAssignment/smallestsolver
Part of The Smallest Project
VerifierIntegerAssignment/sudoku-solver
Sudoku Solver using Z3
VerifierIntegerAssignment/sv-benchmarks
Collection of Verification Tasks
VerifierIntegerAssignment/sv-comp-1
Information to reproduce results from SV-COMP
VerifierIntegerAssignment/SVCOMP
This page is the submission of VIAP -- a software verification tool to the Competition on Software Verification SVCOMP
VerifierIntegerAssignment/TestingBench
Contain testing source code and testing benchmark
VerifierIntegerAssignment/verified_contracts_benchmark
benchmark
VerifierIntegerAssignment/VfPbP
Translator of P-program
VerifierIntegerAssignment/VIAP
verifier for integer assignment programs (VIAP)
VerifierIntegerAssignment/VIAP-TEST
Updated Integral Version of VIAP
VerifierIntegerAssignment/VIAP_MODULES
VerifierIntegerAssignment/viap_updated
VerifierIntegerAssignment/WALi-OpenNWA
Home for the WALi weighted automaton library and OpenNWA nested-word automaton library
VerifierIntegerAssignment/wasm-clang
Running Clang/LLD in WebAssembly Demo
VerifierIntegerAssignment/WasmExplorer
VerifierIntegerAssignment/wasmexplorer-service
Service for the WasmExplorer at https://mbebenita.github.io/WasmExplorer/