Technology Transfer Issues for Formal Methods of Software Specification.
Ken AbernethyJohn C. KellyAnn E. Kelley SobelJames D. KiperJohn D. PowellPublished in: CSEE&T (2000)
Keyphrases
- formal methods
- technology transfer
- safety critical
- formal specification
- reactive systems
- model checking
- formal analysis
- development lifecycle
- process algebra
- knowledge based systems
- artificial intelligence
- software engineering
- model checker
- provably correct
- modeling language
- e government
- current status
- temporal logic
- real world
- formal specification language
- production rules
- specification language
- design science
- lessons learned
- decision making