SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft.
Thomas BallByron CookVladimir LevinSriram K. RajamaniPublished in: IFM (2004)
Keyphrases
- formal methods
- technology transfer
- knowledge based systems
- formal analysis
- mobile robot
- formal specification
- safety critical
- e government
- design science
- software engineering
- process algebra
- artificial intelligence
- model checking
- simultaneous localization and mapping
- modeling language
- nasa langley research center
- particle filter
- development lifecycle
- current status
- dynamic environments
- decision making
- academia and industry
- lessons learned
- object oriented
- information technology
- e learning