Login / Signup

Run-Time Verification for Observational Determinism Using Dynamic Program Slicing.

Mohammad GhorbaniMehran S. Fallah
Published in: ISC (2017)
Keyphrases
  • program slicing
  • formal verification
  • model checking
  • neural network
  • artificial intelligence
  • source code
  • reverse engineering