RATSY – A New Requirements Analysis Tool with Synthesis-Reference-Cited by-同舟云学术

RATSY – A New Requirements Analysis Tool with Synthesis

Published:2010 Issue: Volume: Page:425-429
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Bloem Roderick,Cimatti Alessandro,Greimel Karin,Hofferek Georg,Könighofer Robert,Roveri Marco,Schuppan Viktor,Seeber Richard

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-14295-6_37

Reference13 articles.

1. Beazley, D.M.: SWIG: An easy to use tool for integrating scripting languages with C and C++. In: Proc. 4th USENIX Tcl/Tk Workshop, pp. 129–139 (1996)

2. Lecture Notes in Computer Science;R. Bloem,2007

3. Lecture Notes in Computer Science;A. Cimatti,2002

4. Dellacherie, S.: Automatic bus-protocol verification using assertions. In: GSPx’04 (2004)

5. Lecture Notes in Computer Science;E. Filiot,2009

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

1. Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications;Proceedings of the 46th IEEE/ACM International Conference on Software Engineering;2024-02-06

2. Verification modulo theories;FORM METHOD SYST DES;2023

3. Using Reactive Synthesis: An End-to-End Exploratory Case Study;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05

4. Triggers for Reactive Synthesis Specifications;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05

5. Which of My Assumptions are Unnecessary for Realizability and Why Should I Care?;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05