Formal Verification of Transactional Systems.

Mark A. J. Song Adriano C. M. Pereira Sérgio Vale Aguiar Campos

Published in: WEBIST (2005)

Keyphrases

formal verification
automated verification
expert systems
management system
neural network
model checking
information retrieval
information systems
knowledge representation
distributed systems
intelligent systems
computer systems
learning systems
bounded model checking