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.

Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL

Ralph Bottesch, Max W. Haslbeck, Alban Reynaud, René Thiemann. Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL. In Ritchie Lee, Susmit Jha, Anastasia Mavridou, editors, NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings. Volume 12229 of Lecture Notes in Computer Science, pages 233-250, Springer, 2020. [doi]

Authors

Ralph Bottesch

This author has not been identified. Look up 'Ralph Bottesch' in Google

Max W. Haslbeck

This author has not been identified. Look up 'Max W. Haslbeck' in Google

Alban Reynaud

This author has not been identified. Look up 'Alban Reynaud' in Google

René Thiemann

This author has not been identified. Look up 'René Thiemann' in Google
runs on