A Pattern for Formal Verification of Properties of Large Systems.

Wolfgang Herzner, Georg Weissenbacher

Browse the full EuroPLop paper archive.