Keyphrases
- information and communication technologies
- model checking
- case study
- special issue
- verification method
- developing countries
- face verification
- information communication technology
- concurrent systems
- formal analysis
- digital divide
- formal verification
- databases
- search engine
- public administration
- signature verification
- socio economic
- high security
- information retrieval
- machine learning
- information and communications technology
- functional verification
- data mining