Future Work

• Layered Composition

  • Composing properties
  • Composing hostilities
  • Composing (informal) proofs

• Formal analysis

  • model-checking
  • theorem proving
    

• Richer composition models

  • cooperating subprotocols
  • adding time
  • treating infinite behaviors

Previous slide

Back to first slide

View graphic version