RT @TCSResearch: At #TACAS2020, in collaboration with #IITBombay, our #researchers presented a novel verification methodology called the Fu…
33 followers
126 followers
RT @TCSResearch: At #TACAS2020, in collaboration with #IITBombay, our #researchers presented a novel verification methodology called the Fu…
1,976 followers
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
221 followers
Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers https://t.co/dpOfwQ82FC