research
∙
02/19/2021
FLACK: Counterexample-Guided Fault Localization for Alloy Models
Fault localization is a practical research topic that helps developers i...
share
research
∙
09/06/2020
On the construction of explosive relation algebras
Fork algebras are an extension of relation algebras obtained by extendin...
research
∙
10/30/2019
