![[About Sandia]](http://www.sandia.gov/images/1pixel.gif){kind=tracking}
![[navigation panel]](http://www.sandia.gov/images/labelNEW.gif)
![[Surety for the 21st Century]](images/world.gif)
Surety Solutions for the 21st Century
![[Sandia National Laboratories]](http://www.sandia.gov/images/logo.gif){kind=logo}
|
|
|
Surety Solutions for the 21st Century |
|
|
Surety Science and Engineering Workshop Presentations--Text
Software Surety Techniques Sandia is developing surety techniques for the specification, construction, and immunology for high-consequence software systems. Ariane 5 Missile Launch Visualizing Mathematical Specifications Rigorously Verifiable Software Construction Systems ImmunologyTM
| ||||||||||||
|
|
Back to top of page |