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