Digital Security by Design (DSbD) Technology Platform Prototype

Stark, Ian (Principal Investigator)

4 Conference contribution
1 Article

1 results

Filter

2023
Isla: Integrating full-scale ISA semantics and axiomatic concurrency models (extended version)
Armstrong, A., Campbell, B., Simner, B., Pulte, C. & Sewell, P., 12 May 2023, In: Formal Methods in System Design. p. 1-24 24 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File