Towards the Combination of Model Checking and Runtime Verification on Multi-Agent Systems.

Angelo Ferrando Vadim Malvone

Published in: CoRR (2022)

Keyphrases

model checking
multi agent systems
coalition logic
temporal logic
automated verification
formal verification
model checker
bounded model checking
verification method

temporal properties
formal specification
temporal epistemic
finite state
partial order reduction
formal methods
reachability analysis
symbolic model checking
timed automata

finite state machines
concurrent systems
epistemic logic
pspace complete
computation tree logic
process algebra
transition systems
cl pc

planning domains
cooperative
reactive systems
asynchronous circuits
modal logic
game theory
artifact centric
deterministic finite automaton