DeepSpec 2019
Sat 22 - Fri 28 June 2019 Phoenix, Arizona, United States
co-located with PLDI 2019
Conference Editions
Sat 22 - Fri 28 June 2019, Phoenix, Arizona, United States

DeepSpec 2019 with PLDI 2019

Deep Specifications The workshop will be held on June 22-23 (Saturday and Sunday). 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, aut ...

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 ...