Login / Signup
Relational abstract interpretation for the verification of 2-hypersafety properties.
Máté Kovács
Helmut Seidl
Bernd Finkbeiner
Published in:
CCS (2013)
Keyphrases
</>
abstract interpretation
model checking
termination analysis
data model
static analysis
active rules
databases
database applications
database systems
test set