Author:
Frias Marcelo F.,Galeotti Juan P.,López Pombo Carlos G.,Aguirre Nazareno M.
Cited by
41 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Pardinus: A Temporal Relational Model Finder;Journal of Automated Reasoning;2022-09-12
2. Dash: declarative behavioural modelling in Alloy with control state hierarchy;Software and Systems Modeling;2022-08-06
3. SAT-based arithmetic support for alloy;Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering;2020-12-21
4. HaiQ;Proceedings of the 8th International Conference on Formal Methods in Software Engineering;2020-09-12
5. Transitive-closure-based model checking (TCMC) in Alloy;Software and Systems Modeling;2020-01-03