PROXIMA will investigate how probabilistic analysis techniques and supporting mechanisms can be integrated with manycore processors, and how the results can be exploited by successful integration with commercial verification tools and operating systems. (more details...)