We strive for simplicity.
We want workflows that truly flow. Therefore, we design and develop no-frills tools and techniques to ease the burden of verification and validation for complex systems.

Welcome to VevaLabs!

We are an innovative team who research & develop next-generation test specification, system verification, and safety validation technologies for highly automated driving systems.

As the complexity of driving systems grows, the challenge of verification and validation (V&V) is much greater than the past. Recent years have witnessed the rise of simulation based V&V workflows and we think this is the road to safe autonomy. Yet we need to simplify simulation based V&V workflows and develop proper tooling around these new concepts in the automotive industry. Solving these challenges is our ambition and mission at VevaLabs.

Surely it is the big challenge ahead us yet we believe a bottom-up emergent approach guided by top-down insights and past experiences. We work hard to design, refine, and connect all the pieces to reach an ecosystem that would bring the safe autonomy.

Follow the evolution of general testing paradigms below until you reach our state-of-the-art testing tool Rytest.

Directed Testing

Directed tests are usually a set of predefined test cases that have been designed to exercise specific functionality in the system. It is usually a manual effort but effective when the system under test is small and relatively well understood. Unit testing in software falls into directed testing.

Structural Coverage

When the system under test is not complex, testing each structural element a few times would be quite informative and we assume the function will behave as intended for the rest. Structural (code/block) coverage methods use this assumption and measures how much of the system tested visited during test as a proxy.

Fuzz Testing

When systems are getting complex, it is harder to make predictions on their behavior in different situations. Fuzz or random testing increase our confidence to the system by testing random situations. Yet we have lost to ability to predefine desired test outcomes because we no longer know the preconditions in advance. Hence, fuzz testing is mainly used to check simple requirements such no crash.

Situation Coverage

Similarly we want to measure how many diverse situations we encountered during fuzz tetsing. We can match situations with pass and fail results. However, what constitutes a pass or a fail can be much more complex than simple assertions.

Property-based Testing

Property-based testing constitutes the next step in the evolution of testing methods. Now we want to test complex requirements over complex systems. We can still generate random situations but we accompancy them with well-defined rules (properties) to evaluate each situation better.

At VevaLabs, we have designed Rytest to enable property-based testing for complex real-time systems, in particular automated driving systems.



Rytest is a declarative property-based testing tool for your functional requirements, operation design domains and scenario validity criteria. All in one with a familiar programatic interface.


Abstract Test Specification

In the era of large-scale simulation, it is no longer practical to maintain a set of concrete test cases or even generate them automatically. Instead Rytest enables users to scale their testing workflows using abstract properties.

Declarative Language

Rytest properties are declarative in nature. This allows user to focus on what to test rather than how to test. Formal semantics guarantees your tests have the same meaning in all existing and future platforms.

On-the-fly Evaluation

Rytest computes every check, every test, every measurement concurrent to the system. Hence, Rytest itself is a real-time system continuously monitor and test your specifications at runtime.

Multi Purpose

You can use Rytest to specify your functional requirements, operational design domains, scenario validity check and indeed any desired temporal pattern.

Fast and Frugal

Rytest designed to be fast and frugal from scratch. Our state-of-the-art algorithms enable checking complex temporal properties and we research continuously for better ways.

Easy to Use

It's super easy to author abstract properties with the programmtic interface of Rytest. We are ironing out every little annoyance that disrupts the verification and validation workflow.


We have the right deal for you


Rytest Lite with free 3-month license

  • Abstract Test Specification
  • CLI only
  • Offline Evaluation
  • User-defined predicates
  • Documentation support


For general enquires:


For sales and licenses: