eliya bronshtein
Fourth year student of Bachelor's degree in computer engineering at Bar-Ilan university
Talks
πΊπΈ Formal Verification through Python β Why and How?
Formal verification (FV) can prove the correctness of algorithms and systems and so ensure safety. Since FV tools are not easy to use, we will show examples (from the RL domain) of how executing them via Python could be very useful and friendly-user.