Academia and industry meet: Some experiences of formal methods in practice.
Guy H. BroadfootPhilippa J. BroadfootPublished in: APSEC (2003)
Keyphrases
- formal methods
- academia and industry
- researchers and practitioners
- fastest growing
- technological advances
- image and video retrieval
- formal analysis
- cutting edge
- formal specification
- model checking
- safety critical
- software engineering
- computing systems
- knowledge based systems
- case study
- real world
- recent advances
- artificial intelligence
- machine learning
- web services
- multimedia technology
- neural network
- support systems
- mobile devices
- information technology
- formal specification language