Reflections from recent benchmarks comparing theoretical proving times against real-world performance on constrained ARM architectures.

Technical decisions and trade-offs in building our formal verification framework.

Overview of our current research directions and upcoming publications.