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.

Towards Full Proof Automation in Frama-C Using Auto-active Verification

Allan Blanchard, Frédéric Loulergue, Nikolai Kosmatov. Towards Full Proof Automation in Frama-C Using Auto-active Verification. In Julia M. Badger, Kristin Yvonne Rozier, editors, NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings. Volume 11460 of Lecture Notes in Computer Science, pages 88-105, Springer, 2019. [doi]

Authors

Allan Blanchard

This author has not been identified. Look up 'Allan Blanchard' in Google

Frédéric Loulergue

This author has not been identified. Look up 'Frédéric Loulergue' in Google

Nikolai Kosmatov

This author has not been identified. Look up 'Nikolai Kosmatov' in Google
runs on