Executing specifications using synthesis and constraint solving (invited talk (2013)

by V Kuncak, E Kneuss, P Suter
Venue:In Runtime Verification (RV