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 proceedingConference contribution

3 Scopus citations

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

Mathematics

Engineering & Materials Science