Formal verification at the computer science faculty in the Technion - Israel Institute of Technology.
This organization is for Technion graduate and undergraduate student that are working on formal verification problems under the supervision of Dr. Yakir Vizel in the Technion - Israel Institute of Technology. The repositories in this organization contain many research projects and verification engines.
Contact Dr. Yakir and ask to be added to the organization. You may also browse the public repositories to gain a clearer idea of what we do here. Once added to the organization you will be able to view private repositories, as well as tutorials on accessing Technion resources.