1,976 followers
Ever wondered how your favorite apps stay bug-free? Our researchers in collaboration with @iitbombay presented a strategy prediction-based reachability verifier for C programs at #TACAS2023. Click here to know more- https://t.co/TqmArsxrSN #Research #Publi