Formal Methods and Customized Visualization: A Fruitful Symbiosis.
Tiziana MargariaVolker BraunPublished in: Services and Visualization: Towards User-Friendly Design (1998)
Keyphrases
- formal methods
- formal analysis
- formal specification
- model checking
- process algebra
- knowledge based systems
- provably correct
- safety critical
- model checker
- artificial intelligence
- temporal properties
- data analysis
- software engineering
- modeling language
- development lifecycle
- visualization tool
- security properties
- knowledge acquisition
- relational databases
- information systems
- database