Verification of a safety-related I&C system for nuclear power plant by model checking, test case generation and automatic testing.
Tomás AusbergerKarel KubícekPavla MedvecováJindrich WolfPublished in: ETFA (2022)
Keyphrases
- model checking
- nuclear power plant
- test case generation
- model checker
- formal verification
- safety critical
- test suite
- formal methods
- safety analysis
- temporal logic
- test cases
- software testing
- symbolic model checking
- verification method
- formal specification
- automated verification
- test data generation
- concurrent systems
- bounded model checking
- computation tree logic
- asynchronous circuits
- java programs
- object oriented systems
- epistemic logic
- condition monitoring
- case study
- safe operation
- real time
- software development
- knowledge base
- information systems
- artificial intelligence
- linear temporal logic
- genetic algorithm
- neural network