Engineering with Full-scale Formal Architecture: Morello, CHERI, Armv8-A, and RISC-V

Sewell, Peter

doi:10.34727/2021/isbn.978-3-85448-046-4_7

Record link:

http://hdl.handle.net/20.500.12708/18615
https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_7

Title:

Engineering with Full-scale Formal Architecture: Morello, CHERI, Armv8-A, and RISC-V

Citation:

Sewell, P. (2021). Engineering with Full-scale Formal Architecture: Morello, CHERI, Armv8-A, and RISC-V. In Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021 (pp. 12–12). TU Wien Academic Press. https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_7

reposiTUm DOI:

10.34727/2021/isbn.978-3-85448-046-4_7

CatalogPlus:

AC17204575

Publication Type:

Inproceedings - Full-Paper Contribution

Language:

English

Authors:

Sewell, Peter

Organisational Unit:

E192-04 - Forschungsbereich Formal Methods in Systems Engineering

Series:

Conference Series: Formal Methods in Computer-Aided Design

Published in:

Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021

Date (published):

Oct-2021

Number of Pages:

Publisher:

TU Wien Academic Press, Wien

Peer reviewed:

Yes

Keywords:

formal methods

formale Methode

Project (external):

UK Government Industrial Strategy Challenge Fund (ISCF)
ERC
EPSRC
Defense Advanced Research Projects Agency (DARPA), Air Force Research Laboratory (AFRL)
Defense Advanced Research Projects Agency (DARPA), Air Force Research Laboratory (AFRL)
Defense Advanced Research Projects Agency (DARPA), Air Force Research Laboratory (AFRL)
Defense Advanced Research Projects Agency (DARPA), Air Force Research Laboratory (AFRL)

Project ID:

105694
AdG 789108 ELVER
EP/K008528/1 REMS
FA8750-10-C-0237
FA8750- 11-C-0249
HR0011-18-C-0016
FA8650-18-C- 7809

License:

CC BY 4.0