Runtime Vеrification
Nishant Rodrigues is a PhD candidate at the University of Illinois. His research interests include programming languages, formal logic and formal verification. He is also interested in integrating formal methods into traditional software development processes whether by increased automation, improved abstractions or better accessibility through nicer interfaces.
This person is not in any offices
Runtime Vеrification
Runtime Vеrification is a dynamic software analysis techniques to automatically detect bugs and errors of a software system.