A Component-Based Approach for the Verification of Safety-Critical Software.
Jeanine SouquièresPublished in: ERCIM News (2008)
Keyphrases
- safety critical
- formal methods
- safety analysis
- embedded systems
- fault tolerant
- nuclear power plant
- model checking
- agent architecture
- regulatory requirements
- knowledge based systems
- support systems
- distributed systems
- formal specification
- artificial intelligence
- software systems
- software components
- software engineering
- information systems
- business intelligence
- intelligent agents
- multi agent systems
- cooperative
- formal verification
- multi agent
- reinforcement learning