From Runtime Verification to Evolvable Systems.

Howard Barringer, Dov M. Gabbay, David E. Rydeheard

Browse the full RV paper archive.