Rabbit: A Tool for BDD-Based Verification of Real-Time Systems
暂无分享,去创建一个
[1] Edmund M. Clarke,et al. Symbolic model checking for sequential circuit verification , 1993, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[2] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[3] Sergio Yovine,et al. Model Checking Timed Automata , 1996, European Educational Forum: School on Embedded Systems.
[4] Amir Pnueli,et al. Some Progress in the Symbolic Verification of Timed Automata , 1997, CAV.
[5] Sergio Yovine,et al. KRONOS: a verification tool for real-time systems , 1997, International Journal on Software Tools for Technology Transfer.
[6] Wang Yi,et al. UPPAAL - Now, Next, and Future , 2000, MOVEP.
[7] Dirk Beyer,et al. Improvements in BDD-Based Reachability Analysis of Timed Automata , 2001, FME.
[8] Farn Wang,et al. Symbolic Verification of Complex Real-Time Systems with Clock-Restriction Diagram , 2001, FORTE.
[9] Dirk Beyer,et al. Cottbus Timed Automata: Formal Definition and Semantics , 2001 .
[10] Dirk Beyer. Efficient Reachability Analysis and Refinement Checking of Timed Automata Using BDDs , 2001, CHARME.
[11] Dirk Beyer. Formale Verifikation von Realzeit-Systemen mittels Cottbus-Timed-Automata , 2002 .