On Parallel Software Verification Using Boolean Equation Systems.

Alexander Ditter Milan Ceska Gerald Lüttgen

Published in: SPIN (2012)

Keyphrases

complex systems
distributed systems
computer systems
building blocks
parallel computing
real time
parallel implementation
boolean functions
real valued
parallel processing
retrieval systems
mathematical model
intelligent systems
general purpose
management system
database systems
machine learning
data sets