Associate professor of computer science, focusing on formal program verification.
-
imec-DistriNet, KU Leuven
- Leuven, Belgium
- http://www.cs.kuleuven.be/~bartj/
Highlights
- Pro
-
verifast Public
Forked from verifast/verifastResearch prototype tool for modular formal verification of C and Java programs
Rust Other UpdatedJul 3, 2025 -
verify-rust-std Public
Forked from model-checking/verify-rust-stdVerifying the Rust standard library
Rust Other UpdatedJun 30, 2025 -
-
-
-
-
-
-
-
-
-
-
lets-prove-leftpad Public
Forked from hwayne/lets-prove-leftpadProving leftpad correct two-dozen different ways
SystemVerilog Other UpdatedApr 21, 2025 -
-
-
-
-
-
-
-
-
-
capnp-ocaml Public
Forked from capnproto/capnp-ocamlOCaml code generator plugin for the Cap'n Proto serialization framework
OCaml Other UpdatedFeb 26, 2025 -
-
-
jlearner Public
Visualize the execution of Java snippets in the browser
-
-
-
vfdeps Public
Forked from verifast/vfdepsDependencies for VeriFast
Makefile MIT License UpdatedJan 8, 2025 -
Previous Next