https://pldi18.sigplan.org/track/deepspec-2018-papers
DeepSpec 2018 - PLDI 2018
Deep Specifications Formal verification of systems software requires specifications that are: rich (describing complex component behaviors in detail) two-sided...
deepspec2018pldi