Formal Methods Technology Transfer: A View from NASA.
James L. CaldwellPublished in: Formal Methods Syst. Des. (1998)
Keyphrases
- technology transfer
- formal methods
- formal analysis
- e government
- nasa langley research center
- model checking
- knowledge based systems
- model checker
- formal specification
- safety critical
- current status
- provably correct
- software engineering
- design science
- artificial intelligence
- process algebra
- formal specification language
- reactive systems
- academia and industry
- relational databases
- expert systems
- decision making