High-Level Guidance for Managers Deploying Formal Methods in Their Organisation.
Christophe PonsardJean-Christophe DeprezRenaud De LandtsheerPublished in: FMICS (2013)
Keyphrases
- formal methods
- high level
- low level
- formal analysis
- model checker
- knowledge based systems
- formal specification
- provably correct
- safety critical
- higher level
- model checking
- information systems
- artificial intelligence
- temporal properties
- software engineering
- knowledge management
- process algebra
- information technology
- design process
- knowledge acquisition
- query language
- reactive systems
- decision making
- databases
- database