Login / Signup

Early Results with Precision Abstraction: Using Data-flow Analysis to Improve the Scalability of Model Checking.

Adam BrownJames C. BrowneCalvin Lin
Published in: IPDPS (2007)
Keyphrases
  • model checking
  • flow analysis
  • temporal logic
  • artificial intelligence
  • finite state
  • forensic analysis
  • game theoretic
  • formal verification
  • model checker