Interactive Verification of Safety-Critical Software.
Daniela Carneiro da CruzPedro Rangel HenriquesJorge Sousa PintoPublished in: COMPSAC (2013)
Keyphrases
- safety critical
- formal methods
- safety analysis
- embedded systems
- support systems
- fault tolerant
- nuclear power plant
- agent architecture
- model checking
- adaptive systems
- regulatory requirements
- knowledge based systems
- artificial intelligence
- software systems
- user interaction
- software engineering
- formal specification
- distributed systems
- data warehouse
- expert systems
- multi agent systems
- decision making
- information systems
- real time