Integrating formal methods tools to support system design.
Shiu-Kai ChinJohn FaustJoseph GiordanoPublished in: ICECCS (1995)
Keyphrases
- formal methods
- design tools
- safety critical
- knowledge based systems
- model checking
- formal specification language
- end users
- formal specification
- development lifecycle
- design decisions
- modeling language
- computer aided software engineering
- process algebra
- modelling language
- software environment
- sensemaking
- formal analysis
- building blocks
- machine learning
- data mining
- business process
- fine grained
- software engineering
- case study
- artificial intelligence