Isla: Integrating full-scale ISA semantics and axiomatic concurrency models
Alasdair Armstrong, Brian Campbell, Ben Simner, Christopher Pulte, Peter Sewell[ISBN] [Google Scholar] [DBLP] [Citeseer]
Computer Aided Verification
Springer International Publishing
Cham
Pages 303-316
2021
Note(s): ISA specification, symbolic execution, weak memory
Springer International Publishing
Cham
Pages 303-316
2021
Note(s): ISA specification, symbolic execution, weak memory