C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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