On Reconciling Schedulability Analysis and Model Checking in Robotics.

Mohammed Foughali

Published in: MEDI Workshops (2019)

Keyphrases

model checking
temporal logic
formal verification
finite state
formal specification
dynamic analysis
abstract interpretation
verification method
automated verification
markov chain
formal methods
reactive systems
reachability analysis
computation tree logic