Safe tasks: Run time verification of the RTFM-lang model of computation.

Marcus Lindner, Andreas Lindner, Per Lindgren

Browse the full ETFA paper archive.