Formally verified software in the real world.
Gerwin KleinJune AndronickMatthew FernandezIhor KuzToby C. MurrayGernot HeiserPublished in: Commun. ACM (2018)
Keyphrases
- real world
- software development
- software systems
- software architecture
- synthetic data
- software design
- source code
- data mining
- data sets
- case study
- wide range
- expert systems
- software components
- computer systems
- software engineering
- software developers
- artificial intelligence
- software platform
- open source
- software packages
- commercial software
- software tools
- evolutionary algorithm
- search algorithm
- web pages
- information systems
- neural network