Isla: Integrating Full-Scale ISA Semantics and Axiomatic Concurrency Models
Attributed to:
REMS: Rigorous Engineering for Mainstream Systems
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-81685-8_14
Publication URI: http://dx.doi.org/10.1007/978-3-030-81685-8_14
Type: Book Chapter
Book Title: Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I (2021)
Page Reference: 303-316
ISSN: 2193-9616