Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Juan P. Galeotti
Latest
Alloy+HotCore: A Fast Approximation to Unsat Core
ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models
Cite
×