KIT | KIT-Bibliothek | Impressum

Analyzing Alloy Constraints using an SMT Solver: A Case Study

El Ghazi, Aboubakr Achraf; Taghdiri, Mana



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Jahr 2010
Sprache Englisch
Identifikator URN: urn:nbn:de:swb:90-422245
KITopen ID: 1000042224
Erschienen in 5th International Workshop on Automated Formal Methods (AFM); 14.07.2010, Edinburgh
Seiten 1-8
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page