Keyphrases
- formal methods
- software engineering
- safety critical
- artificial intelligence
- formal analysis
- formal specification
- model checking
- development lifecycle
- signal processing
- temporal properties
- model checker
- process algebra
- provably correct
- reactive systems
- knowledge based systems
- computer science
- security properties
- databases
- real world
- engineering design
- information systems
- multi agent
- support systems
- vlsi design
- software systems
- design process