Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Eunsuk Kang
Latest
Formal Modeling and Analysis of Apache Kafka in Alloy 6
Task Model Design and Analysis with Alloy
A Structure for Dependability Arguments
Formal Modeling and Analysis of a Flash Filesystem in Alloy
Cite
×