RATSY - A New Requirements Analysis Tool with Synthesis
暂无分享,去创建一个
Viktor Schuppan | Marco Roveri | Alessandro Cimatti | Roderick Bloem | Richard Seeber | Karin Greimel | Robert Könighofer | Georg Hofferek | A. Cimatti | Marco Roveri | R. Bloem | Robert Könighofer | Richard Seeber | Viktor Schuppan | Karin Greimel | Georg Hofferek
[1] David M. Beazley,et al. SWIG: An Easy to Use Tool for Integrating Scripting Languages with C and C++ , 1996, Tcl/Tk Workshop.
[2] Roderick Bloem,et al. Anzu: A Tool for Property Synthesis , 2007, CAV.
[3] Marco Pistore,et al. Nusmv version 2: an opensource tool for symbolic model checking , 2002, CAV 2002.
[4] Roderick Bloem,et al. Optimizations for LTL Synthesis , 2006, 2006 Formal Methods in Computer Aided Design.
[5] Kousha Etessami,et al. Analysis of Recursive Game Graphs Using Data Flow Equations , 2004, VMCAI.
[6] Roderick Bloem,et al. Debugging formal specifications using simple counterstrategies , 2009, 2009 Formal Methods in Computer-Aided Design.
[7] Fabio Somenzi,et al. Efficient Büchi Automata from LTL Formulae , 2000, CAV.
[8] Jean-François Raskin,et al. An Antichain Algorithm for LTL Realizability , 2009, CAV.
[9] Marco Roveri,et al. RAT: A Tool for the Formal Analysis of Requirements , 2007, CAV.
[10] Amir Pnueli,et al. Synthesis of Reactive(1) designs , 2006, J. Comput. Syst. Sci..
[11] Fabio Somenzi,et al. Safety first: A two-stage algorithm for LTL games , 2009, 2009 Formal Methods in Computer-Aided Design.
[12] Bernd Finkbeiner,et al. Bounded synthesis , 2012, International Journal on Software Tools for Technology Transfer.
[13] Marco Pistore,et al. NuSMV 2: An OpenSource Tool for Symbolic Model Checking , 2002, CAV.