Author:
Brunel Julien,Chemouil David,Cunha Alcino,Hujsa Thomas,Macedo Nuno,Tawa Jeanne
Publisher
Springer International Publishing
Reference7 articles.
1. Chang, F.S., Jackson, D.: Symbolic model checking of declarative relational models. In: ICSE 2006, pp. 312–320. ACM (2006).
https://doi.org/10.1145/1134329
2. Lecture Notes in Computer Science;A Cunha,2014
3. Frias, M.F., Galeotti, J.P., Pombo, C.L., Aguirre, N.: DynAlloy: upgrading Alloy with actions. In: ICSE 2005, pp. 442–451. ACM (2005).
https://doi.org/10.1145/1062455.1062535
4. Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge (2012). Revised edn.
5. Macedo, N., Brunel, J., Chemouil, D., Cunha, A., Kuperberg, D.: Lightweight specification and analysis of dynamic systems with rich configurations. In: SIGSOFT FSE, pp. 373–383. ACM (2016).
https://doi.org/10.1145/2950290.2950318
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Validating multiple variants of an automotive light system with Alloy 6;International Journal on Software Tools for Technology Transfer;2024-05-23
2. Validation of Formal Models: A Case Study;Lecture Notes in Computer Science;2024
3. Simulation under Arbitrary Temporal Logic Constraints;Electronic Proceedings in Theoretical Computer Science;2019-12-23
4. The electrum analyzer: model checking relational first-order temporal specifications;Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering;2018-09-03