On Verification Modelling of Embedded Systems
暂无分享,去创建一个
[1] Egon Börger,et al. Formal methods for industrial applications : specifying and programming the steam boiler control , 1996 .
[2] Peter Henderson,et al. Questions and Answers About Ten Formal Methods , 1999 .
[3] Gerard J. Holzmann,et al. Software Model Checking , 1999, FORTE.
[4] Ansgar Fehnker,et al. Scheduling a steel plant with timed automata , 1999, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306).
[5] Hans Toetenel,et al. Experiments with parametric verification of real-time systems , 1999, Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99.
[6] James C. Corbett,et al. Bandera: extracting finite-state models from Java source code , 2000, ICSE.
[7] Frits W. Vaandrager,et al. Distributing Timed Model Checking - How the Search Order Matters , 2000, CAV.
[8] Hanno Wupper,et al. Design of a PLC Control Program for a Batch Plant VHS Case Study , 2001, Eur. J. Control.
[9] Ed Brinksma,et al. Verification is experimentation! , 2000, International Journal on Software Tools for Technology Transfer.
[10] F. Vaandrager,et al. Linear Parametric Model Checking of Timed Automata , 2001 .
[11] Kim G. Larsen,et al. As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata , 2001, CAV.
[12] Sriram K. Rajamani,et al. The SLAM project: debugging system software via static analysis , 2002, POPL '02.
[13] Ansgar Fehnker,et al. Verification and optimization of a PLC control schedule , 2000, International Journal on Software Tools for Technology Transfer.
[14] M. Robby,et al. Bogor : An Extensible and Highly Modular Model Checking Framework , 2003 .
[15] George J. Pappas,et al. Optimal Paths in Weighted Timed Automata , 2001, HSCC.