Digital Security by Design (DSbD) Technology Platform Prototype

Search results

  • Conference contribution

    Isla: Integrating full-scale ISA semantics andaxiomatic concurrency models

    Armstrong, A., Campbell, B., Simner, B., Pulte, C. & Sewell, P., 15 Jul 2021, Proceedings of the 33rd International Conference on Computer-Aided Verification (CAV 2021). Springer, p. 303-316 14 p. (Lecture Notes in Computer Science; vol. 12759).

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

    Open Access
    File