A Model Checking Approach for Verifying COWS Specifications.

Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi

Browse the full FASE paper archive.