1,976 followers TCS Research @TCSResearch #Software programs rely on testing tools. At #TACAS23, our researchers presented an approach that uses Bounded Model Checking strategies & high confidence incremental verification technique to check for program non-termination & termination. #Publi 28 Feb 2024 Reply Repost Favourite