Statistical Model Checking for the Analysis of Mission- and Safety-Critical Cyber-Physical Systems.

Angela Pappagallo

Published in: OVERLAY@GandALF (2021)

Keyphrases

model checking
formal methods
temporal logic
safety critical
formal verification
real time
formal specification
finite state machines
symbolic model checking
cooperative
data analysis