External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Efficient Formal Verification for the Linux Kernel

Daniel Bristot de Oliveira, Tommaso Cucinotta, Rômulo Silva de Oliveira. Efficient Formal Verification for the Linux Kernel. In Peter Csaba Ölveczky, Gwen Salaün, editors, Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings. Volume 11724 of Lecture Notes in Computer Science, pages 315-332, Springer, 2019. [doi]

Authors

Daniel Bristot de Oliveira

This author has not been identified. Look up 'Daniel Bristot de Oliveira' in Google

Tommaso Cucinotta

This author has not been identified. Look up 'Tommaso Cucinotta' in Google

Rômulo Silva de Oliveira

This author has not been identified. Look up 'Rômulo Silva de Oliveira' in Google
runs on