Model Checking Techniques Enable Schedulability Analysis of Real-Time Systems.

Published in: SoICT (2022)

Keyphrases

model checking
real time systems
temporal logic
timed automata
model checker
formal verification
formal specification
cooperative
finite state
multi agent
state space
distributed systems
epistemic logic
symbolic model checking
transition systems
abstract interpretation