Formal Verification of Operational Transformation.

Yang Liu Yi Xu Shao Jie Zhang Chengzheng Sun

Published in: FM (2014)

Keyphrases

formal verification
model checking
automated verification
symbolic model checking
bounded model checking
model checker
coloured petri nets
decision making
neural network
source code
temporal logic
linear transformation
program slicing