Verification Column.

Published in: ACM SIGLOG News (2022)

Keyphrases

relational databases
model checking
digital images
temporal logic
cryptographic protocols
concurrent systems
real time
genetic algorithm
social networks
decision trees
formal methods