RAT: A Tool for the Formal Analysis of Requirements

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

doi:10.1007/978-3-540-73368-3_30

RAT: A Tool for the Formal Analysis of Requirements

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

Institute of Software Technology (7160)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings
Place of Publication	Berlin / Heidelberg
Publisher	Springer
Pages	263-267
Volume	4590
ISBN (Print)	978-3-540-73367-6
DOIs	https://doi.org/10.1007/978-3-540-73368-3_30
Publication status	Published - 2007
Event	International Conference on Computer Aided Verification - Berlin, Germany Duration: 3 Jul 2007 → 7 Jul 2007

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer

Conference

Conference	International Conference on Computer Aided Verification
Country/Territory	Germany
City	Berlin
Period	3/07/07 → 7/07/07

Access to Document

10.1007/978-3-540-73368-3_30

Cite this

RAT: A Tool for the Formal Analysis of Requirements. / Bloem, Roderick Paul; Cavada, Roberto; Pill, Ingo Hans et al.
19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings. Vol. 4590 Berlin / Heidelberg: Springer, 2007. p. 263-267 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Bloem, RP, Cavada, R, Pill, IH, Roveri, M & Tchaltsev, A 2007, RAT: A Tool for the Formal Analysis of Requirements. in 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings. vol. 4590, Lecture Notes in Computer Science, Springer, Berlin / Heidelberg, pp. 263-267, International Conference on Computer Aided Verification, Berlin, Germany, 3/07/07. https://doi.org/10.1007/978-3-540-73368-3_30

@inproceedings{fc69347da0c1422da27cb0efdc75e2e9,

title = "RAT: A Tool for the Formal Analysis of Requirements",

author = "Bloem, {Roderick Paul} and Roberto Cavada and Pill, {Ingo Hans} and Marco Roveri and Andrei Tchaltsev",

year = "2007",

doi = "10.1007/978-3-540-73368-3_30",

language = "English",

isbn = "978-3-540-73367-6",

volume = "4590",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "263--267",

booktitle = "19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings",

note = "International Conference on Computer Aided Verification ; Conference date: 03-07-2007 Through 07-07-2007",

}

TY - GEN

T1 - RAT: A Tool for the Formal Analysis of Requirements

AU - Bloem, Roderick Paul

AU - Cavada, Roberto

AU - Pill, Ingo Hans

AU - Roveri, Marco

AU - Tchaltsev, Andrei

PY - 2007

Y1 - 2007

UR - http://www.springerlink.com/content/m74vt7q51451/?p=e465676dbcae40fa8fb66442e9bc0f33&pi=0

UR - http://www.springerlink.com/content/w0m78w1t86447l32/

U2 - 10.1007/978-3-540-73368-3_30

DO - 10.1007/978-3-540-73368-3_30

M3 - Conference paper

SN - 978-3-540-73367-6

VL - 4590

T3 - Lecture Notes in Computer Science

SP - 263

EP - 267

BT - 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings

PB - Springer

CY - Berlin / Heidelberg

T2 - International Conference on Computer Aided Verification

Y2 - 3 July 2007 through 7 July 2007

ER -

RAT: A Tool for the Formal Analysis of Requirements

Publication series

Conference

Access to Document

Other files and links

Cite this