Automated Verification Using Unified Control Flows.

Cristian Gherghina Cristina David

Published in: TASE (2009)

Keyphrases

automated verification
model checking
control method
databases
control system
automated reasoning
formal verification
robotic systems
multi agent
knowledge representation
graphical models
control strategy
adaptive control
unified model