A compositional symbolic verification framework for concurrent software.

Published in: Infoscale (2007)

Keyphrases

main contribution
user interface
database
databases
reinforcement learning
multi agent
control system
computer systems
lightweight
software tools
software design
formal methods
software package