Parallel bounded verification of alloy models by tranScoping

  • Nicolás Rosner
  • , Carlos Gustavo López Pombo
  • , Nazareno Aguirre
  • , Ali Jaoua
  • , Ali Mili
  • , Marcelo F. Frias

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

5 Scopus citations

Fingerprint

Dive into the research topics of 'Parallel bounded verification of alloy models by tranScoping'. Together they form a unique fingerprint.

Computer Science

Keyphrases