Verification of Component-Based Systems via Predicate Abstraction and Simultaneous Set Reduction.

Qiang Wang Simon Bliudze

Published in: TGC (2015)

Keyphrases

small number
complex systems
expert systems
management system
data sets
machine learning
case study
high level
bayesian networks
multi agent
computer systems
petri net
asynchronous circuits