Login / Signup

Data-Flow Analysis as Model Checking Within the jABC.

Anna-Lena LamprechtTiziana MargariaBernhard Steffen
Published in: CC (2006)
Keyphrases
  • model checking
  • flow analysis
  • temporal logic
  • forensic analysis
  • decision making
  • knowledge base
  • finite state
  • formal methods