A Specification Language for Static and Runtime Verification of Data and Control Properties.

Wolfgang Ahrendt, Jess Mauricio Chimento, Gordon J. Pace, Gerardo Schneider

Browse the full FM paper archive.