Language-based verification will change the world.

Tim Sheard Aaron Stump Stephanie Weirich

Published in: FoSER (2010)

Keyphrases

language learning
natural language
programming language
data mining
genetic algorithm
formal verification
model checking
language processing
english language
neural network
conceptual graphs
physical world
model checker