Tags

alloy
Jan 1, 2018
Formal Reasoning
Jan 1, 2018
KodKod
Jan 1, 2018
Modeling
Jan 1, 2018
Relational Logic
Jan 1, 2018
automated analysis
Jan 1, 2017
domain-specific modeling
Jan 1, 2017
formal trace semantics
Jan 1, 2017
metamodel
Jan 1, 2017
Demo
Apr 27, 2016