Formally verified software in the real world.

Gerwin Klein June Andronick Matthew Fernandez Ihor Kuz Toby C. Murray Gernot Heiser

Published 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