Login / Signup
A Dynamic Logic for Verification of Synchronous Models based on Theorem Proving.
Yuanrui Zhang
Published in:
CoRR (2021)
Keyphrases
</>
theorem proving
dynamic logic
first order logic
theorem prover
decision procedures
term rewriting
model checking
inference rules
automated deduction
timed automata
machine learning
artificial intelligence
distributed search
geometry theorem proving