DeepSpec 2018
co-located with PLDI 2018
Conference Editions
Mon 18 - Fri 22 June 2018, Philadelphia, Pennsylvania, United States

DeepSpec 2018 with PLDI 2018

Deep Specifications Formal verification of systems software requires specifications that are: rich (describing complex component behaviors in detail) two-sided (connected to both implementations and clients) formal (written in a mathematical notation with clear semantics to support tools such as type checkers, analysis and testing tools, automated or machine-assisted provers, and advanced IDEs) live (c ...