Formal Methods as a Link between Software Code and Legal Rules.
Daniel Le MétayerPublished in: SEFM (2011)
Keyphrases
- formal methods
- safety critical
- development lifecycle
- legal knowledge
- formal analysis
- knowledge based systems
- artificial intelligence
- formal specification
- source code
- provably correct
- model checker
- model checking
- process algebra
- software engineering
- rule sets
- modeling language
- intellectual property
- formal specification language
- software architecture
- software systems
- database systems
- knowledge base
- information systems