On the Adoption of Formal Methods by Industry: The ACL2 Experience.
J Strother MoorePublished in: ICFEM (2004)
Keyphrases
- formal methods
- electronic data interchange
- formal analysis
- software engineering
- knowledge based systems
- model checking
- small businesses
- information technology
- software industry
- artificial intelligence
- safety critical
- security properties
- competitive market
- provably correct
- process algebra
- model checker
- formal specification
- e government
- expert systems
- case study
- information systems
- development lifecycle
- database
- modeling language
- database systems
- natural language learning
- data mining
- real world