Lightweight Formal Verification in Real World, A Case Study.

Andrea S. Atzeni, Tao Su, Teodoro Montanaro

Browse the full CaiSE paper archive.