publicações selecionadas
-
artigo de conferência
- Adding Records to Alloy 2023
- Verifying Temporal Relational Models with Pardinus 2023
- Simulation under arbitrary temporal logic constraints. Electronic Proceedings in Theoretical Computer Science. 2019
- Proposition of an Action Layer for Electrum. Computational Methods in Applied Sciences. 2018
- The Electrum Analyzer: model checking relational first-order temporal specifications. IEEE/ACM International Conference on Automated Software Engineering. 2018
- Lightweight specification and analysis of dynamic systems with rich configurations 2016