Login / Signup

Efficient Symbolic Execution of Value-Based Data Structures for Critical Systems.

Jason Belt RobbyPatrice ChalinJohn HatcliffXianghua Deng
Published in: NASA Formal Methods (2012)
Keyphrases
  • data structure
  • symbolic execution
  • algorithms and data structures
  • data sets
  • distributed systems
  • neural network
  • knowledge management
  • building blocks