Report on the NSF Workshop on Formal Methods for Security

Authors
Publication date
5 January 2018
Publisher
'Swiss National Science Foundation'

Abstract

The NSF workshop on Security and Formal Methods, held 19--20 November 2015, brought together developers of formal methods, researchers exploring how to apply formal methods to various kinds of systems, and people familiar with the security problem space.Engineering and Applied Science

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Sustaining member

    Harvard University - DASH

    redirect
    oaioai:dash.harvard.edu:1/3460453...
    Last time updated on 17/04/2018