Comparative study of MPR selection algorithms based on statistical model checking.

Omar Barki Zouhair Guennoun Adnane Addaim

Published in: ICMCS (2016)

Keyphrases

comparative study
model checking
temporal logic
finite state
formal verification
reachability analysis
deterministic finite automaton
artificial intelligence
pspace complete
computational complexity
model checker
symbolic model checking
partial order reduction