Abstract
Formal languages are increasingly used to describe the functional requirements of circuits. Although formal requirements can be hard to understand and subtle, they are seldom the object of verification. In this paper we present our requirement analysis tool, RAT. Our tool supports quality assurance of formal specifications. A designer can interactively explore the requirements' semantics and automatically check the specification against assertions (which must be satisfied) and possibilities (which describe allowed corner-case behavior). Using RAT, a designer can also investigate the realizability of a specification. RAT was successfully examined in several industrial projects. © Springer-Verlag Berlin Heidelberg 2007.
Cite
CITATION STYLE
Bloem, R., Cavada, R., Pill, I., Roveri, M., & Tchaltsev, A. (2007). RAT: A tool for the formal analysis of requirements. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4590 LNCS, pp. 263–267). Springer Verlag. https://doi.org/10.1007/978-3-540-73368-3_30
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
