Cited By
View all- AlSobeh A(2023)OSM: Leveraging model checking for observing dynamic behaviors in aspect-oriented applicationsOnline Journal of Communication and Media Technologies10.30935/ojcmt/1377113:4(e202355)Online publication date: 2023
- Ukegbu CMehrpouyan H(2023)Benchmarks for the Verification of Safety and Security Properties of PLC Programs in Cooperative Verification EnvironmentsProceedings of the 2023 8th International Conference on Information Systems Engineering10.1145/3641032.3641046(19-28)Online publication date: 16-Dec-2023
- Asteasuain F(2023)New Horizons for Metamorphic Relationships in Formal VerificationComputer Science – CACIC 202210.1007/978-3-031-34147-2_8(107-122)Online publication date: 27-May-2023
- Show More Cited By