A Formal CHERI-C Semantics for Verification.
Seung Hoon ParkRekha PaiTom MelhamPublished in: CoRR (2022)
Keyphrases
- formal methods
- machine processable
- formal language
- model theoretic
- operational semantics
- formal semantics
- specification languages
- model checking
- highly expressive
- formal analysis
- semantic information
- formal languages
- neural network
- artificial intelligence
- data sets
- logical language
- dynamic aspects
- formal specification
- temporal logic
- logic programming
- face verification
- conceptual model
- data exchange
- semantic web
- precisely defined
- description logics