Publisher
Springer Nature Switzerland
Reference29 articles.
1. Bendersky, P., Galeotti, J.P., Garbervetsky, D.: The DynAlloy visualizer. In: Aguirre, N., Ribeiro, L. (eds.) Latin American Workshop on Formal Methods, vol. 139, pp. 59–64 (2013). https://doi.org/10.4204/EPTCS.139.6
2. Brunel, J., Chemouil, D., Cunha, A., Hujsa, T., Macedo, N., Tawa, J.: Proposition of an action layer for Electrum. In: Proceedings of the 6th International ABZ Conference, Southampton, United Kingdom (2018)
3. Claessen, K., Hughes, J.: QuickCheck: A lightweight tool for random testing of Haskell programs. In: International Conference on Functional Programming (2000). https://doi.org/10.1145/357766.351266
4. Couto, R., Campos, J.C., Macedo, N., Cunha, A.: Improving the visualization of Alloy instances. In: Masci, P., Monahan, R., Prevosto, V. (eds.) Proceedings 4th Workshop on Formal Integrated Development Environment, vol. 284, pp. 37–52 (2018). https://doi.org/10.4204/EPTCS.284.4
5. De Giacomo, G., Vardi, M.Y.: Synthesis for LTL and LDL on finite traces. In: Proceedings of the 24th International Joint Conference on Artificial Intelligence (2015)