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
