RAT: A Tool for the Formal Analysis of Requirements

Roderick Paul Bloem, Roberto Cavada, Ingo Hans Pill, Marco Roveri, Andrei Tchaltsev

Research output: Chapter in Book/Report/Conference proceedingConference paper

Original languageEnglish
Title of host publication19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings
Place of PublicationBerlin / Heidelberg
PublisherSpringer
Pages263-267
Volume4590
ISBN (Print)978-3-540-73367-6
DOIs
Publication statusPublished - 2007
EventInternational Conference on Computer Aided Verification - Berlin, Germany
Duration: 3 Jul 20077 Jul 2007

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

Conference

ConferenceInternational Conference on Computer Aided Verification
CountryGermany
CityBerlin
Period3/07/077/07/07

Cite this