skip to content
  • it
UNIVERSITÀ DEGLI STUDI
DEL SANNIO   Benevento
 

Abstracting models from execution traces for performing formal verification

Bodhuin, T.., F.. Pagnozzi, A.. Santone, M.. Tortorella, and M.L.. Villani, "Abstracting models from execution traces for performing formal verification", Communications in Computer and Information Science, vol. 59 CCIS, pp. 143-150, 2009.