Sign in
Data-Flow Analysis as Model Checking Within the jABC.
Anna-Lena Lamprecht
Tiziana Margaria
Bernhard Steffen
Published in:
CC (2006)
Keyphrases
</>
model checking
flow analysis
temporal logic
forensic analysis
decision making
knowledge base
finite state
formal methods