Explore projects

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

Formal methods in CI/CD

Verify time properties for Java program with multiple formal techniques

Test Docker and containers