Cartesian Reachability Logic: A Language-parametric Logic for Verifying k-Safety Properties.
Jan TusilTraian SerbanutaJan ObdrzálekPublished in: LPAR (2023)
Keyphrases
- formal language
- logic programming
- dynamic logic
- automated reasoning
- neural network
- modal logic
- desirable properties
- classical logic
- predicate calculus
- predicate logic
- computational properties
- proof theory
- set theory
- operational semantics
- logical framework
- natural language
- derivation rules
- order sorted
- agent programming
- asynchronous circuits
- epistemic logic
- formal theory
- digital circuits
- programming language