Isla: integrating full-scale ISA semantics and axiomatic concurrency models (extended version)
{{output}}
Architecture specifications such as Armv8-A and RISC-V are the ultimate foundation for software verification and the correctness criteria for hardware verification. They should define the allowed sequential and relaxed-memory concurrency behaviour of programs,... ...
