Static Analysis of Parity Games: Alternating Reachability Under Parity.

Michael Huth Jim Huan-Pu Kuo Nir Piterman

Published in: Semantics, Logics, and Calculi (2016)

Keyphrases

static analysis
error correction
dynamic analysis
malicious code
source code
regular expressions
abstract interpretation
databases
video games
test generation
java card
symbolic execution
state space
nash equilibrium