RAT: A Tool for the Formal Analysis of Requirements.

Roderick Bloem Roberto Cavada Ingo Pill Marco Roveri Andrei Tchaltsev

Published in: CAV (2007)

Keyphrases

formal analysis
agent model
formal methods
tool support
neural network
information systems
databases
data model
query language
lightweight
ban logic