Monitoring refinement via symbolic reasoning.

Michael Emmi, Constantin Enea, Jad Hamza

Browse the full PLDI paper archive.