Transformational Verification of Quicksort.

Emanuele De Angelis Fabio Fioravanti Maurizio Proietti

Published in: VPT/HCVS@ETAPS (2020)

Keyphrases

data mining
model checking
artificial intelligence
verification method
concurrent systems
functional verification
search engine
decision making
image processing
preprocessing
information technology
face verification
formal methods
test generation
asynchronous circuits