Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification.

Omar Ochoa, Irbis Gallegos, Steve Roach, Ann Q. Gates

Browse the full RV paper archive.