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.