Digital Security by Design (DSbD) Technology Platform Prototype

Search results

  • Isla: Integrating full-scale ISA semantics andaxiomatic concurrency models

    Armstrong, A., Campbell, B., Simner, B., Pulte, C. & Sewell, P., 27 May 2021, (Accepted/In press) Proceedings of the 33rd International Conference on Computer-Aided Verification (CAV 2021). Springer, 21 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File