Iterative Model Checking for Safety-Critical Problems in Cyber-Physical Systems.

Guangyao Chen Zhihao Jiang

Published in: ICCPS (2024)

Keyphrases

model checking
formal methods
temporal logic
safety critical
formal specification
model checker
embedded systems
formal verification
symbolic model checking
real time
data mining
fuzzy logic
cyber physical systems