Formal Methods Research at NTNU, Department of Telematics.
Rolv BrækPublished in: Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases
- formal methods
- formal analysis
- model checking
- model checker
- artificial intelligence
- case study
- formal specification
- knowledge based systems
- provably correct
- safety critical
- software engineering
- information systems
- development lifecycle
- temporal properties
- process algebra
- state university
- databases
- formal specification language
- reactive systems
- database systems
- real world
- fine grained
- knowledge representation
- multi agent systems