External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

RAT: A Tool for the Formal Analysis of Requirements

Roderick Bloem, Roberto Cavada, Ingo Pill, Marco Roveri, Andrei Tchaltsev. RAT: A Tool for the Formal Analysis of Requirements. In Werner Damm, Holger Hermanns, editors, Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings. Volume 4590 of Lecture Notes in Computer Science, pages 263-267, Springer, 2007. [doi]

Authors

Roderick Bloem

This author has not been identified. Look up 'Roderick Bloem' in Google

Roberto Cavada

This author has not been identified. Look up 'Roberto Cavada' in Google

Ingo Pill

This author has not been identified. Look up 'Ingo Pill' in Google

Marco Roveri

Identified as Marco Roveri

Andrei Tchaltsev

This author has not been identified. Look up 'Andrei Tchaltsev' in Google
runs on