• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

RAT: A Tool for the Formal Analysis of Requirements.

Roderick BloemRoberto CavadaIngo PillMarco RoveriAndrei 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