Static Analysis Techniques for Parameterised Boolean Equation Systems.

Simona Orzan Wieger Wesselink Tim A. C. Willemse

Published in: TACAS (2009)

Keyphrases

static analysis
distributed systems
source code
dynamic analysis
java card
databases
query evaluation
symbolic execution
abstract interpretation