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
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
Reihe:
Conference Series: Formal Methods in Computer-Aided Design
-
Erschienen in:
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
-
Datum (veröffentlicht):
Okt-2021
-
Umfang:
1
-
Verlag:
TU Wien Academic Press, Wien
-
Peer Reviewed:
Ja
-
Keywords:
formal methods
en
formale Methode
de
Projekt (extern):
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)