Automated Mitigation of Frame Problem in UML Class Diagram Verification.
Antonio Rosales ViescaMustafa Al-LailPublished in: MoDELS (Companion) (2023)
Keyphrases
- fully automated
- data driven
- semi automated
- real time
- computer vision
- frame rate
- model checking
- databases
- coordinate frame
- signature verification
- face verification
- image frames
- image sequences
- video frames
- search algorithm
- database systems
- information systems
- social networks
- formal analysis
- artificial intelligence
- formal verification
- neural network
- asynchronous circuits