Integration of Program Construction and Verification: The PROSPECTRA Methodology.
Bernd Krieg-BrücknerPublished in: System Development and Ada (1986)
Keyphrases
- symbolic execution
- construction process
- model checking
- neural network
- hardware designs
- high level
- model driven
- control program
- data integration
- data fusion
- metadata
- conceptual framework
- information integration
- formal methods
- programming environment
- computer vision
- signature verification
- program execution
- artificial intelligence
- databases