figshare
Browse

FM2023-EvaluationArtifacts

Download (1.19 MB)
Version 2 2022-08-28, 20:08
Version 1 2022-08-28, 20:06
conference contribution
posted on 2022-08-28, 20:08 authored by SoftwareSoftware

Artifacts for the section 5: Evaluation - "A framework for static analysis and validation of low-level code"

History

Usage metrics

    Categories

    Keywords

    Low-level validationStatic analysisformal modelling, formal verificationbinary ValidationComputational Logic and Formal LanguagesSoftware EngineeringOperating Systems

    Licence

    CC BY 4.0

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC