Revisiting MU-Puzzle. A Case Study in Finite Countermodels Verification.
Alexei LisitsaPublished in: RP (2018)
Keyphrases
- model checking
- case study
- face verification
- formal verification
- finite number
- database
- test bed
- asynchronous circuits
- artificial neural networks
- website
- knowledge base
- concurrent systems
- high security
- verification method
- signature verification
- sliding tile
- formal analysis
- formal methods
- development environment
- temporal logic
- digital images
- learning environment
- multiscale
- information systems
- artificial intelligence