| Infrastructure for Development of Secure, Reliable Software |
|
|
|
|
Complex software systems are made secure and correct by construction. The Verification and Automated Reasoning research group at Cornell University has been building an infrastructure, comprising human expertise and computational resources, for the development of secure, reliable software for critical military applications. |
| < Prev | Next > |
|---|
Upcoming Public Events:
- Jan 16-20 Embedded GNU/Linux Device Drivers - in German or English (Munich)
- Feb 13-17 Embedded GNU/Linux Systems Architecture - in German or English (Munich)
- Feb 13-17 Embedded GNU/Linux Device Drivers - in German or English (Munich)
- Feb 21,23,24 FreeRTOS in Theory and Practice (Virtual)
- Feb 28-March 1 Meet me at the Embedded World (Nuremberg)
With your technical knowledge you are kind of ambidextrous in your domain
