Software engineering and formal methods.
Mike HincheyMichael JacksonPatrick CousotByron CookJonathan P. BowenTiziana MargariaPublished in: Commun. ACM (2008)
Keyphrases
- formal methods
- software engineering
- formal analysis
- model checker
- model checking
- safety critical
- process algebra
- software development
- artificial intelligence
- software systems
- provably correct
- temporal properties
- software projects
- knowledge based systems
- reactive systems
- development process
- development lifecycle
- programming language
- formal specification
- software architecture
- petri net
- knowledge acquisition
- high level