Cited By
View all- Zave PNelson T(2024)Validation of Formal Models: A Case StudyThe Practice of Formal Methods10.1007/978-3-031-66673-5_15(292-313)Online publication date: 4-Sep-2024
- Zheng GNguyen TBrida SRegis GAguirre NFrias MBagheri HRyu SSmaragdakis Y(2022)ATR: template-based repair for Alloy specificationsProceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3533767.3534369(666-677)Online publication date: 18-Jul-2022
- Dougherty D(2021)Model Finding for ExplorationProtocols, Strands, and Logic10.1007/978-3-030-91631-2_9(156-174)Online publication date: 19-Nov-2021
- Show More Cited By