Formal verification of language-based concurrent noninterference

DOI10.6092/ISSN.1972-5787/3690zbMath1451.68077OpenAlexW2104519948MaRDI QIDQ5195249

Tobias Nipkow, Johannes Hölzl, Andrei Popescu

Publication date: 18 September 2019

Full work available at URL: https://doi.org/10.6092/issn.1972-5787/3690

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Uses Software

• Unnamed Item

This page was built for publication: Formal verification of language-based concurrent noninterference