Results and Current Status

• “It is safe(?)”

• Methodology - long thin slice problem

  • Framework - other techniques

• Results and future work

  • Model of the long thin slice
  • Rigorous (formal?) safety argument?
  • Model validation (SPARK, JK Nair)?

Previous slide

Back to first slide

View graphic version