Accepted Posters

• Luca Pulina and Armando Tacchella.
  More adaptive does not imply less safe (with formal verification)
• Tom Tervoort and Wishnu Prasetya.
  APSL: a Light Weight Testing Tool for Protocols with Complex Messages
• Ryo Watanabe, Kozo Okano and Toshifusa Sekizawa.
  Towards Verification of Robot Design for Self-localization
• Sergey Frenkel.
  Probabilistic Model of Control-Flow Altering based Malicious Attacks
• Matteo Marescotti, Arie Gurfinkel, Antti E. J. Hyvärinen, Natasha Sharygina.
  P3: Model Checking using distributed PDR