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

Keynote Speakers


See us on Linked In See us on Facebook IBM Research Cadence Mellanox Mentor Graphics Qualcomm SunDisk