Automated Verification of Fundamental Algebraic Laws.

George Zakhour Pascal Weisenburger Guido Salvaneschi

Published in: Proc. ACM Program. Lang. (2024)

Keyphrases

automated verification
model checking
automated reasoning
formal verification
temporal logic
graph theory
theorem proving
database
decision making
optimal solution
artificial neural networks
object oriented
higher order