Verification of database-driven systems via amalgamation.

Mikolaj Bojanczyk Luc Segoufin Szymon Torunczyk

Published in: PODS (2013)

Keyphrases

database driven
database
databases
data mining
relational databases
text mining
distributed systems
model checking