Towards Scalable Model Checking of Reflective Systems via Labeled Transition Systems.

Kenji Tei Yasuyuki Tahara Akihiko Ohsuga

Published in: IEEE Trans. Software Eng. (2023)

Keyphrases

model checking
transition systems
temporal logic
automated verification
concurrent systems
reactive systems
finite state
model checker
formal methods
formal verification
formal specification
distributed systems
control flow
practical reasoning
planning domains
partially observable markov decision processes