Digital Security by Design (DSbD) Technology Platform Prototype

Project Details

Effective start/end date1/11/1931/03/24


  • UK central government bodies/local authorities, health and hospital authorities: £1,000,000.00
  • 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