Deductive verification of alternating systems.

Matteo Slanina Henny B. Sipma Zohar Manna

Published in: Formal Aspects Comput. (2008)

Keyphrases

object oriented
computer systems
building blocks
complex systems
databases
social networks
image processing
multi agent
computing systems
asynchronous circuits