Formal Methods versus Software Engineering: Is There a Conflict?
William D. YoungPublished in: Symposium on Testing, Analysis, and Verification (1991)
Keyphrases
- formal methods
- software engineering
- formal analysis
- model checking
- conflict resolution
- formal specification
- provably correct
- safety critical
- artificial intelligence
- process algebra
- knowledge based systems
- software engineers
- software development
- model checker
- temporal properties
- high level
- development process
- software projects
- reverse engineering
- reactive systems
- development lifecycle
- fine grained
- case study
- knowledge base
- concurrent systems
- database