Formal Technologies and Solutions
Within the general field of formal methods, the Formal Technologies and Solutions group complements the Formal Verification group by extending its attention and coverage beyond the domain of hardware verification. Our group's scope spans three main directions:
