btj
Associate professor of computer science, focusing on formal program verification.
imec-DistriNet, KU LeuvenLeuven, Belgium
Pinned Repositories
atoms
beoi18-krokuscursus
ch2o-compcert
Soundness of CH2O with respect to CompCert C
drawit_part2
find
interval_2020
jlearner
Visualize the execution of Java snippets in the browser
ocaml-gtk
ogp-notes
ogptaglets
Javadoc taglets for the OGP course
btj's Repositories
btj/ogp-notes
btj/ocaml-gtk
btj/jlearner
Visualize the execution of Java snippets in the browser
btj/logicalcollections
btj/mymath_oop
btj/expressions
btj/interval-2023-2024
btj/interval_ir-2023-2024
btj/itoop
Artifacts for the Introduction to (Object-Oriented) Programming course
btj/mymath-2023-2024
btj/proof-outline-checker
A checker for Hoare logic proof outlines written as Python programs with assert statements
btj/termios
Terminal I/O support library for Java
btj/timeofday-2023-2024
btj/backups
btj/browserify-sign
createSign and createVerify in your browser
btj/eclipse.jdt.core-1
btj/ghostsignals-coq
ghostsignals-coq
btj/gobject-introspection
btj/hypertekst
btj/internetwerk
btj/internetwork
btj/interval_oop-2023-2024
btj/lijstiteratoren
lijstiteratoren
btj/mi-notes
btj/picospc
picospc
btj/reservekopieen
btj/roads
btj/verifast
Research prototype tool for modular formal verification of C and Java programs
btj/vf-rust-aliasing
btj/wegennetwerk