RAT: A Tool for the Formal Analysis of Requirements-Reference-Cited by-同舟云学术

RAT: A Tool for the Formal Analysis of Requirements

Published: Issue: Volume: Page:263-267
ISSN:
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

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

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-73368-3_30.pdf

Reference12 articles.

1. Accellera. Property specification language — reference manual, version 1.01 (April 2003)

2. Auerbach, G., Benalycherif, L., Fedeli, A., Fisman, D., McIsaac, A., Winkelmann, K.: Case studies in property-based requirements specification, Prosyd Delivarable D1.4/1 (November 2006), http://www.prosyd.org

3. Lecture Notes in Computer Science;A. Biere,1999

4. Bloem, R., Cavada, R., Eisner, C., Pill, I., Roveri, M., Semprini, S.: Manual for property simulation and property assurance tool, Prosyd Delivarable D1.2/4-5 (November 2005), http://www.prosyd.org

5. Bloem, R., Galler, S., Jobstman, B., Weiglhofer, M., Piterman, N., Pnueli, A.: Automatic hardware synthesis from specifications: A case study. In: Proceeding of DATE 2007 (to appear, 2007)

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Generation of Formal Requirements from Structured Natural Language;Requirements Engineering: Foundation for Software Quality;2020

2. Inherent Vacuity in Lattice Automata;Fields of Logic and Computation II;2015

3. Temporal logic satisfiability for the design of complex systems;Electronic Proceedings in Theoretical Computer Science;2013-07-16

4. Automatic Generation of Quality Specifications;Computer Aided Verification;2013

5. Towards a notion of unsatisfiable and unrealizable cores for LTL;Science of Computer Programming;2012-07