DeepSpec
Mon 15 - Tue 16 June 2020 REMS-DeepSpec 2020 with PLDI 2020REMS-DeepSpec 2020 provides a forum for researchers interested in foundational specifications and rigorous engineering of mainstream systems and their components. It will consist of in-depth presentations by members of the REMS project (UK) and DeepSpec (US), invited talks by external experts, and general talks selected in response to a call for short abstracts. No formal proceedings are associated with this even ... |
Sat 22 - Fri 28 June 2019 Phoenix, Arizona, United StatesDeepSpec 2019 with PLDI 2019Deep 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 StatesDeepSpec 2018 with PLDI 2018Deep 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 ... |
