Cunha, Alcino
- Sharing and Learning Alloy on the Web
2019/07/04 by Nuno Macedo, Macedo, Nuno, Alcino Cunha +13 · 1 voice · 1 citation
Computer Science · #cs.CY #cs.SE
- Automatic Unbounded Verification of Alloy Specifications with Prover9
2012/09/25 by Nuno Macedo, Alcino Cunha, Macedo, Nuno +1 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic, programming, and type systems #Security and Verification in Computing #cs.FL