Open Source Verification under a Cloud.
Peter T. BreuerSimon PickinPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2010)
Keyphrases
- open source
- map reduce
- open source software
- cloud computing
- source code
- data analytics
- model checking
- case study
- open source projects
- data mining
- functional verification
- verification method
- formal verification
- formal analysis
- neural network
- face verification
- virtual machine
- cost effective
- data management
- artificial intelligence