SMT in Verification, Modeling, and Testing at Microsoft.

Nikolaj Bjørner

Published in: Haifa Verification Conference (2012)

Keyphrases

test generation
model checking
formal verification
search engine
web services
database
real time
data mining
information retrieval
artificial intelligence
information systems
business intelligence
test set