Investigating the Integration of two Formal Methods.
Juan BicarreguiBrian MatthewsBrian RitchieSten AgerholmPublished in: Formal Aspects Comput. (1998)
Keyphrases
- formal methods
- formal analysis
- artificial intelligence
- safety critical
- model checking
- model checker
- formal specification
- temporal properties
- provably correct
- knowledge based systems
- data integration
- development lifecycle
- software engineering
- information systems
- process algebra
- databases
- security properties
- business processes
- data mining