@inproceedings{Amani_ABLRT_17,
    address          = {Paris, France},
    author           = {Amani, Sidney and Andronick, June and Bortin, Maksym and Lewis, Corey and Rizkallah, Christine and
                        Tuong, Joey},
    booktitle        = {International Conference on Certified Programs and Proofs},
    date             = {2017-1-17},
    doi              = {https://doi.org/10.1145/3018610.3018627},
    keywords         = {formal verification, programming languages, imperative code, concurrency, owicki-gries, isabelle/hol},
    month            = jan,
    pages            = {138--150},
    paperurl         = {https://trustworthy.systems/publications/full_text/Amani_ABLRT_17.pdf},
    publisher        = {SIGPLAN Notices},
    title            = {{COMPLX}: a verification framework for concurrent imperative programs},
    year             = {2017}
  }