Self-Adaptive System Verification based on SysML.
Seungmin LeeSoojin ParkYoung Bom ParkPublished in: ICEIC (2019)
Keyphrases
- formal methods
- safety analysis
- model checking
- control parameters
- formal verification
- safety critical
- genetic algorithm
- model checker
- formal analysis
- real time
- nuclear power plant
- verification method
- distributed systems
- information systems
- handwritten signature verification
- formal specification
- concurrent systems
- functional verification
- modeling language
- temporal logic
- knowledge representation
- artificial intelligence
- neural network