Increasing the Accuracy of Shape and Safety Analysis of Pointer-Based Codes.

Published in: LCPC (2003)

Keyphrases

safety analysis
nuclear power plant
safety critical
data structure
expert systems
low cost
agent architecture
real time
knowledge base
dynamic programming
intelligent agents
error correction