Diagnosing Violations of Time-based Properties Captured in iCFTL.

Cristina Stratan Joshua Heneage Dawes Domenico Bianculli

Published in: FormaliSE@ICSE (2024)

Keyphrases

desirable properties
image processing
reinforcement learning
relational databases
topological properties
social networks
digital images