NIMBLE RESEARCH

Nimble Research is a software reliability research and consulting company located in Monrovia, CA 91016, USA... Nimble Research is a research and consulting company for safety critical software development... Nimble Research was founded by Gerard Holzmann, after working as a researcher in the famed Computing Science Research Center of Bell Laboratories (where Unix, C, and C++ were developed), and leading NASA/JPL's Laboratory for Reliable Software in Pasadena, CA. (JPL is where the software and most of the hardware for the Mars rovers is designed and built, and from where the rovers are operated.)