Model checking as a service: towards pragmatic hidden formal methods.

Benedek Horvth, Bence Graics, kos Hajdu, Zoltn Micskei, Vince Molnr, Istvn Rth, Luigi Andolfato, Ivan Gomes, Robert Karban

Browse the full MODELS paper archive.