Selene: Pioneering Automated Proof in Software Verification.

Lichen Zhang Shuai Lu Nan Duan

Published in: CoRR (2024)

Keyphrases

automated theorem provers
semi automated
artificial intelligence
data driven
fully automated
theorem prover
automated classification
data mining
information systems
multimedia
wide range
human operators
automated analysis
linear logic