Who guards the guards? formal validation of the Arm v8-m architecture specification.
Alastair ReidPublished in: Proc. ACM Program. Lang. (2017)
Keyphrases
- formal specification
- reactive systems
- specification languages
- real time
- formal model
- formal methods
- high level
- management system
- code generation
- specification language
- data flow
- formal language
- operational semantics
- databases
- design considerations
- network architecture
- model checking
- petri net
- programming language
- neural network
- layered architecture