Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Alcino Cunha
Latest
Alloy Goes Fuzzy
Adding Records to Alloy
Task Model Design and Analysis with Alloy
Verifying Temporal Relational Models with Pardinus
Validating Multiple Variants of an Automotive Light System with Electrum
Experiences on Teaching Alloy with an Automated Assessment Platform
Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum
Proposition of an Action Layer for Electrum
Bounded Model Checking of Temporal Formulas with Alloy
Cite
×