Research Topics - VERTICS
The VERTICS team focuses on the following research topics:
- Apply formal methods to critical applications,
- Description and verification of real-time systems,
- Symbolic representation of the state space,
- Reduce combinatorial explosion,
- Parallelize model-checking algorithms.