Open main menu
is a researcher in the field of formal methods for modeling and analyzing programs and systems, in particular model checking.
Media in category "Rajeev Alur"
The following 3 files are in this category, out of 3 total.
Edmund Clarke, Randal...
Rajeev Alur FLoC 2006.jpg
Randal Bryant, Rajeev...
Read in another language
Last edited on 1 July 2013, at 23:17
Content is available under
CC BY-SA 3.0
unless otherwise noted.