Algorithmic logic-based verification.

Arie Gurfinkel Temesghen Kahsai Jorge A. Navas

Published in: ACM SIGLOG News (2015)

Keyphrases

knowledge representation
model checking
formal verification
search engine
database
decision making
image sequences
feature extraction
natural language
concurrent systems
protocol specification