Skip to content
Mark Utting edited this page May 18, 2022 · 18 revisions

Welcome to the bil-to-boogie-translator wiki!

Architecture Overview of the Translator

TODO List

  • one
  • two

Future Ideas

  • infer loop invariants
Clone this wiki locally