A Unified Approach for Static and Runtime Verification: Framework and Applications.

Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider

Browse the full ISoLA paper archive.