HHLPar: Automated Theorem Prover for Parallel Hybrid Communicating Sequential Processes.
Xiangyu JinBohua ZhanShuling WangNaijun ZhanPublished in: CoRR (2024)
Keyphrases
- theorem prover
- automated reasoning
- theorem proving
- automated theorem proving
- inference rules
- first order logic
- term rewriting
- automated deduction
- formal proof
- computer algebra
- communication channels
- parallel version
- boolean algebra
- higher order logic
- parallel processing
- timed automata
- formal semantics
- natural deduction
- predicate calculus
- parallel genetic algorithm
- artificial intelligence
- sharing information
- evolutionary algorithm