Skip to content. | Skip to navigation

Behavioural Types for Reliable Large-Scale Software Systems
COST Action IC1201


You are here: Home / News / BETTY Papers at RV 2013

BETTY Papers at RV 2013

Three papers on BETTY topics will be presented at RV (Runtime Verification) 2013:

  • Adrian Francalanza and Aldrin Seychell:
    Synthesising Correct Concurrent Runtime Monitors in Erlang
  • Rumyana Neykova, Nobuko Yoshida and Raymond Hu:
    SPY: Local Verification of Global Protocols
  • Raymond Hu, Rumyana Neykova, Nobuko Yoshida and Romain Demangeon:
    Practical interruptible conversations: Distributed dynamic verification with session types and Python
Congratulations to the authors!