Insights for Practicing Engineers from a Formal Verification Study of the Linux Kernel.

Suresh C. Kothari Payas Awadhutkar Ahmed Tamrawi

Published in: ISSRE Workshops (2016)

Keyphrases

formal verification
linux kernel
graduate students
model checking
artificial intelligence
case study
reinforcement learning
computational intelligence
software systems
model checker