Computational Systems Group
- 19 followers
- Salzburg, Austria
- https://www.cs.uni-salzburg.at/~ck/
- ck@cs.uni-salzburg.at
Pinned Loading
Repositories
Showing 10 of 34 repositories
- hurdy-gurdy Public
A platform for building deterministic translations from source languages to reasoning languages, so that LLMs can reason about programs through external solvers.
- JNavigator Public
JNavigator - An Autonomous Navigation System for the JAviator Quadrotor Helicopter
- unicorn Public
Unicorn: Symbolic Execution, Bounded Model Checking, and Code Optimization of RISC-V Code using Classical Solvers and Quantum Computers
- bitr Public
BVDD-based incremental theory resolver for BTOR2 model checking — agent-driven development
- rotorized Public
Top languages
Loading…
Most used topics
Loading…