Formally Verifying an Efficient Sorter.

Bernhard Beckert Peter Sanders Mattias Ulbrich Julian Wiesler Sascha Witt

Published in: TACAS (1) (2024)

Keyphrases

computationally efficient
database
natural language
information retrieval
social networks
image processing
multiscale
reinforcement learning
wide range
model checking