A Formal CHERI-C Semantics for Verification.
Seung Hoon ParkRekha R. PaiTom MelhamPublished in: TACAS (1) (2023)
Keyphrases
- formal methods
- formal language
- operational semantics
- model theoretic
- formal analysis
- model checking
- machine processable
- formal model
- formal specification
- specification languages
- formal semantics
- logic programming
- formal languages
- information systems
- case study
- default reasoning
- specification language
- concurrent systems
- conceptual model
- epistemic logic
- highly expressive
- precisely defined
- logical language
- semantic web
- verification method
- artificial intelligence
- dynamic aspects
- asynchronous circuits
- natural language
- signature verification
- knowledge representation
- software engineering
- semantic information