The Faculty of Computer and Information Sciences team wins the first place and the gold medal in SV-COMP 2025, the world's leading software verification competition
The Java-Ranger team won the first place and the gold medal at SV-COMP 2025, the world's leading software verification competition. This achievement is the result of a collaborative effort between Dr. Suha Hussein and the University of Minnesota......................
Read More