A Bounded Model Checking Method for Concurrent Systems in xUML4MC.

Xinfeng Shu Zewei Yang

Published in: AIPR (2022)

Keyphrases

preprocessing
significant improvement
high accuracy
concurrent systems
probabilistic model
clustering method
model checking
search methods
web services
case study
cooperative
support vector machine
general purpose
distributed systems
building blocks
bounded model checking