Formal Verification of mCWQ Using Extended Hoare Logic.

Wanling Xie Huibiao Zhu Xi Wu Phan Cong Vinh

Published in: Mob. Networks Appl. (2019)

Keyphrases

formal verification
model checker
bounded model checking
model checking
symbolic model checking
temporal logic
linear temporal logic
automated verification
program slicing
logic programming
formal methods
derivation rules
modal logic
multi valued
web services
predicate logic