BETTY Papers at RV 2013
Three papers on BETTY topics will be presented at RV (Runtime Verification) 2013:
- Synthesising Correct Concurrent Runtime Monitors in Erlang
- SPY: Local Verification of Global Protocols
- Practical interruptible conversations: Distributed dynamic verification with session types and Python
Congratulations to the authors!