Certification of Confluence- and Commutation-Proofs via Parallel Critical Pairs.

Nao Hirokawa Dohan Kim Kiraku Shintani René Thiemann

Published in: CPP (2024)

Keyphrases

third party
parallel processing
theorem prover
real time
pairwise
theorem proving
data sets
artificial intelligence
search engine
fuzzy control
massively parallel
distributed memory
formal proof