VevaLabs is a research group led by Doğan Ulus dedicated to advancing system verification and validation (V&V) for autonomous and robotic systems. We focus on developing principled, scalable, and trustworthy methods to ensure the correctness, safety, and resilience of complex cyber-physical systems operating in real-world environments.

Our work bridges #formal methods, #cyber-physical systems, and #cloud-native technologies to enable automated and robust V&V pipelines. By combining mathematical rigor with modern infrastructure, we build tools and workflows that support continuous testing, system-level assurance, and scalable deployment across diverse platforms.