1 paper · 1 filter
Chukri Soueidi, Ylies Falcone
Monitoring concurrent programs typically rely on collecting traces to abstract program executions. However, existing approaches targeting general behavioral properties are either n…