On Automation in the Verification of Software Barriers: Experience Report.
Alexander MalkisAnindya BanerjeePublished in: J. Autom. Reason. (2014)
Keyphrases
- software development
- software systems
- software design
- computer systems
- software tools
- software architecture
- software components
- formal verification
- software evolution
- software maintenance
- online learning
- source code
- verification method
- process automation
- practical experiences
- data sets
- hardware designs
- web design
- user experience
- web services
- learning algorithm
- neural network