Practitioners' views on the use of formal methods: an industrial survey by structured interview.
Colin F. SnookRachel HarrisonPublished in: Inf. Softw. Technol. (2001)
Keyphrases
- formal methods
- data collection
- formal analysis
- real world
- formal specification
- safety critical
- model checker
- model checking
- data mining
- multiple views
- artificial intelligence
- provably correct
- national health
- reactive systems
- software engineering
- cutting edge
- information systems
- database
- industrial applications
- knowledge based systems
- temporal properties
- case study
- process algebra
- semi structured interviews
- security properties
- structured data
- formal specification language
- expert systems