33 followers
RT @TCSResearch: At #TACAS2020, in collaboration with #IITBombay, our #researchers presented a novel verification methodology called the Fu…
RT @TCSResearch: At #TACAS2020, in collaboration with #IITBombay, our #researchers presented a novel verification methodology called the Fu…
RT @TCSResearch: At #TACAS2020, in collaboration with #IITBombay, our #researchers presented a novel verification methodology called the Fu…
At #TACAS2020, in collaboration with #IITBombay, our #researchers presented a novel verification methodology called the Full-program Induction Technique. Watch this explained in 2 minutes. Paper - https://t.co/04IXbYcqek @TCS #paperswithvideo #scicomm #re