LLVMVF: A Generic Approach for Verification of Multicore Software.
Marcelo SousaAlper SenPublished in: J. Electron. Test. (2013)
Keyphrases
- computer systems
- software development
- software systems
- user interface
- source code
- model checking
- software architecture
- software developers
- software tools
- computer software
- formal verification
- formal methods
- software maintenance
- hardware designs
- data sets
- software components
- open source
- bayesian networks
- e learning
- information systems
- neural network