publicações selecionadas
-
artigo de conferência
- Assessing the impact of hints in learning formal specification 2024
- Adding Records to Alloy 2023
- Verifying Temporal Relational Models with Pardinus 2023
- Verification of system-wide safety properties of ROS applications. IEEE International Conference on Intelligent Robots and Systems. 2020