Formal methods for future interoperability.
Jim DaviesJeremy GibbonsPublished in: ACM SIGCSE Bull. (2009)
Keyphrases
- formal methods
- formal analysis
- knowledge based systems
- safety critical
- model checker
- formal specification
- model checking
- artificial intelligence
- provably correct
- software engineering
- long term
- metadata
- information systems
- real world
- process algebra
- temporal properties
- formal specification language
- modeling language
- semantic web
- security properties