Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Marcelo F. Frias
Latest
An Analysis of the Impact of Field-Value Instance Navigation in Alloy's Model Finding
Alloy+HotCore: A Fast Approximation to Unsat Core
ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models
Cite
×