TDacik
Ph.D. student at FIT BUT, member of the @VeriFIT research group. Interested in program analysis and (separation) logic.
@VeriFIT
Pinned Repositories
actions-opam
analyzer
Static analysis framework for C
AoC-22
Astral
Decision procedure for strong-separation logic
bench
Set of problems
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
broom
Personal fork of https://pajda.fit.vutbr.cz/rogalew/broom
concurrency-bench
Deadlock
Frama-C plugin for deadlock detection
dolmen
An OCaml library providing clean and flexible parser for languages used in automated deduction
TDacik's Repositories
TDacik/Deadlock
Frama-C plugin for deadlock detection
TDacik/Astral
Decision procedure for strong-separation logic
TDacik/AoC-22
TDacik/actions-opam
TDacik/analyzer
Static analysis framework for C
TDacik/bench
Set of problems
TDacik/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
TDacik/broom
Personal fork of https://pajda.fit.vutbr.cz/rogalew/broom
TDacik/concurrency-bench
TDacik/dolmen
An OCaml library providing clean and flexible parser for languages used in automated deduction
TDacik/FIT-projects
TDacik/Frama-C-snapshot
Release snapshots of the Frama-C platform for source code analysis
TDacik/harrsh
Fork of https://github.com/katelaan/harrsh/fork with fixed build issues
TDacik/ocamlgraph
OCaml graph library
TDacik/opam-repository
Main public package repository for opam, the source package manager of OCaml.
TDacik/seplog-bench
TDacik/slplugin
Frama-C plugin for shape analysis using separation logic