Are there *any* companies out there which provide good training in PVS, SPIN, or even SRI's Maude certifying students as proficient in these formal method tool sets?
Was this training any good? What are the costs? I am looking for training in model checkers (e.g. SPIN) and theorem provers (e.g. PVS).
