External Links

Cite Key

Statistics

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

PDF

Tags

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.

Directed Proof Generation for Machine Code

Aditya V. Thakur, Junghee Lim, Akash Lal, Amanda Burton, Evan Driscoll, Matt Elder, Tycho Andersen, Thomas W. Reps. Directed Proof Generation for Machine Code. In Tayssir Touili, Byron Cook, Paul Jackson, editors, Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings. Volume 6174 of Lecture Notes in Computer Science, pages 288-305, Springer, 2010. [doi]

Authors

Aditya V. Thakur

This author has not been identified. Look up 'Aditya V. Thakur' in Google

Junghee Lim

This author has not been identified. Look up 'Junghee Lim' in Google

Akash Lal

This author has not been identified. Look up 'Akash Lal' in Google

Amanda Burton

This author has not been identified. Look up 'Amanda Burton' in Google

Evan Driscoll

This author has not been identified. Look up 'Evan Driscoll' in Google

Matt Elder

This author has not been identified. Look up 'Matt Elder' in Google

Tycho Andersen

This author has not been identified. Look up 'Tycho Andersen' in Google

Thomas W. Reps

This author has not been identified. It may be one of the following persons: Look up 'Thomas W. Reps' in Google
runs on