Formal Methods for Industrial Critical Systems at Trinity College, University of Dublin.
Andrew ButterfieldPublished in: Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases
- formal methods
- safety critical
- provably correct
- formal analysis
- model checking
- formal specification
- health sciences
- reactive systems
- knowledge based systems
- development lifecycle
- real world
- process algebra
- model checker
- learning systems
- distributed systems
- software engineering
- relational databases
- multi agent
- e learning
- artificial intelligence
- machine learning